diff --git a/lib/idris-controller.coffee b/lib/idris-controller.coffee
index ac15d59..eb78e87 100644
--- a/lib/idris-controller.coffee
+++ b/lib/idris-controller.coffee
@@ -107,11 +107,10 @@ class IdrisController
         null
 
   saveFile: (editor) ->
-    waitsForPromise ->
-      if editor.getURI()
-        editor.save()
-      else
-        atom.workspace.saveActivePaneItemAs()
+    if editor.getURI()
+      editor.save()
+    else
+      atom.workspace.saveActivePaneItemAs()
 
   typecheckFile: (event) =>
     editor = @getEditor()