From cf58d5cdc1925e6f1f2186e13ab6d2f6bbfacfc2 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <andersmortberg@gmail.com>
Date: Thu, 8 Jun 2017 09:49:05 +0200
Subject: [PATCH] remove empty lines

---
 Main.hs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Main.hs b/Main.hs
index fba67a9..8fe53ce 100644
--- a/Main.hs
+++ b/Main.hs
@@ -98,7 +98,6 @@ initLoop flags f hist = do
       putStrLn $ "Resolver failed: " ++ err
       runInputT (settings []) (putHistory hist >> loop flags f [] TC.verboseEnv)
     Right (adefs,names) -> do
-
       (merr,tenv) <- TC.runDeclss TC.verboseEnv adefs
       case merr of
         Just err -> putStrLn $ "Type checking failed: " ++ shrink err
@@ -151,7 +150,6 @@ loop flags f names tenv = do
               Right _  -> do
                 start <- liftIO getCurrentTime
                 let e = mod $ E.eval (TC.env tenv) body
-
                 -- Let's not crash if the evaluation raises an error:
                 liftIO $ catch (putStrLn (msg ++ shrink (show e)))
                                -- (writeFile "examples/nunivalence3.ctt" (show e))
-- 
2.34.1