From 011cd6cdbfed151b609139ffdaff5a220b4746b1 Mon Sep 17 00:00:00 2001
From: Niklas Larsson <niklas@mm.st>
Date: Sat, 17 Jun 2017 01:05:09 +0200
Subject: [PATCH] Revert "Handle asynchronous save"

Pushed by mistake
This reverts commit 4eeeede719dbdf012631f9a08e2a06fd3081e51a.
---
 lib/idris-controller.coffee | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

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()