Cleanup & fix #1

1 files changed, 9 insertions, 10 deletions

diff --git a/LogicParser.icl b/LogicParser.icl
index ab99abf..46ac605 100644
--- a/LogicParser.icl
+++ b/LogicParser.icl
@@ -30,15 +30,14 @@ Start
 | length (removeDup (foldr (++) [] (map all_atoms exprs))) > 8 = abort "You don't need more than 8 atomic expressions."
 | otherwise = show outputoption (compute (if extended truthtable_n simple_truthtable_n exprs))
 where
-    argc = size argv - 1
-    argv = getCommandLine
+	argc = size argv - 1
+	argv = getCommandLine
 
-    exprs = map parse (filter (\s . s.[0] <> '-') [argv.[n] \\ n <- [1..argc]])
-
-    extended = hasArg "-e"
-    outputoption
-    | hasArg "-html" = Html
-    | hasArg "-latex" = LaTeX
-    | otherwise = Plain
-    hasArg arg = or [arg == argv.[n] \\ n <- [0..argc]]
+	exprs = map parse (filter (\s . s.[0] <> '-') [argv.[n] \\ n <- [1..argc]])
 
+	extended = hasArg "-e"
+	outputoption
+	| hasArg "-html" = Html
+	| hasArg "-latex" = LaTeX
+	| otherwise = Plain
+	hasArg arg = or [arg == argv.[n] \\ n <- [0..argc]]