From 07e750627fedd29cd127671bbbebe933948c441e Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Wed, 10 Dec 2014 08:31:57 -0800
Subject: [PATCH] Make sure all .hs files end in a newline

GHC sometimes (but not consistently?) warns about missing newlines
at the end of source files. With -Werror enabled, this causes builds
to fail.
---
 Setup.hs                              | 2 +-
 src/Verifier/SAW/Typechecker/Monad.hs | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Setup.hs b/Setup.hs
index bf689019..9a994af6 100644
--- a/Setup.hs
+++ b/Setup.hs
@@ -1,2 +1,2 @@
 import Distribution.Simple
-main = defaultMain
\ No newline at end of file
+main = defaultMain
diff --git a/src/Verifier/SAW/Typechecker/Monad.hs b/src/Verifier/SAW/Typechecker/Monad.hs
index 17e427a7..89140003 100644
--- a/src/Verifier/SAW/Typechecker/Monad.hs
+++ b/src/Verifier/SAW/Typechecker/Monad.hs
@@ -292,4 +292,4 @@ evaluatedRef :: NodeName -> v -> TC s (TCRef s v)
 evaluatedRef nm v = TC $ \tc s -> do
   r <- newSTRef (TRSDone v)
   let c = tsRefCount s
-  tcDone (TCRef nm c r) tc s { tsRefCount = c + 1 }
\ No newline at end of file
+  tcDone (TCRef nm c r) tc s { tsRefCount = c + 1 }