smll stuff

[proglang.git] / Typecheck.hs

diff --git a/Typecheck.hs b/Typecheck.hs
index 691b79b269350f18a31e463fc04d72c106502609..770c079e4bf73259e4a77d36cabc4aaccb310c1e 100644 (file)
--- a/Typecheck.hs
+++ b/Typecheck.hs
@@ -76,7 +76,7 @@ typeCheckStm (SDecl t i e) = do
        t2 <- typeCheckExp e
        if t == t2 || t2 == NoType then do
                (m:ms) <- get
-               case insertLookupWithKey (\k a1 a2 -> a1) i t m of 
+               case insertLookupWithKey (\k a1 a2 -> a1) i t m of
                        (Nothing,m') -> put (m':ms)
                        _ -> fail $ "Duplicate variable declaration: "++show i
                return NoType