diff --git a/Main.hs b/Main.hs
index 4159f735ece5dcce6d721b1866da6a9b602e5463..7ce307a670ac613dcc725bfec425cd4373dfc3b5 100644
--- a/Main.hs
+++ b/Main.hs
@@ -15,16 +15,8 @@ main :: IO ()
 main = do
     source <- readFile ("Tests\\" ++ testFile ++ ".java")
     
-    
     let result = parser compilationUnit source
     
-        
-    putStrLn "-----Code-----"
-    case result of
-        Left error -> print error
-        Right compUnit -> print compUnit --(getStmt compUnit)
-    
-    
     case result of
         Left error -> print error
         Right compUnit -> do
diff --git a/WLP.hs b/WLP.hs
index 8c16a290688181268226e9c5d2d192bfb5602586..ecd505d93d65f51eecdf1b8451aa54c720283d8e 100644
--- a/WLP.hs
+++ b/WLP.hs
@@ -86,7 +86,7 @@ wlpStmtAlgebra = (fStmtBlock, fIfThen, fIfThenElse, fWhile, fBasicFor, fEnhanced
     --inv = true -- for simplicity, "True" is used as an invariant for now
     inv = case parser Language.Java.Parser.exp invariant of
             Right e -> e
-            _       -> error "syntax error in post-condition"
+            _       -> error "syntax error in invariant"
     
     
     -- Converts initialization code of a for loop to a statement