From 2e3a521ae5428891f03ccea9913915b5590a28fb Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sun, 27 Nov 2016 23:28:01 +0100
Subject: Fix usage string and removeSubOptions

---
 LogicParser.icl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'LogicParser.icl')

diff --git a/LogicParser.icl b/LogicParser.icl
index 852a882..0f68820 100644
--- a/LogicParser.icl
+++ b/LogicParser.icl
@@ -26,7 +26,7 @@ module LogicParser
 import StdEnv, StdMaybe, ArgEnv, Logic
 
 Start
-| isEmpty exprs = abort ("Usage: " +++ argv.[0] +++ " [-e] [-html|-latex] <string>\n")
+| isEmpty exprs = abort ("Usage: " +++ argv.[0] +++ " [-e] [-html|-latex] <string> [<string> ..]\n")
 | 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
-- 
cgit v1.2.3