diff options
| author | Camil Staps | 2016-11-27 23:28:01 +0100 |
|---|---|---|
| committer | Camil Staps | 2016-11-27 23:28:01 +0100 |
| commit | 2e3a521ae5428891f03ccea9913915b5590a28fb (patch) | |
| tree | 08b28d57a6790b2f78a54735d722eda69fba7113 /LogicParser.icl | |
| parent | Really fix #1 (diff) | |
Fix usage string and removeSubOptions
Diffstat (limited to 'LogicParser.icl')
| -rw-r--r-- | LogicParser.icl | 2 |
1 files changed, 1 insertions, 1 deletions
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 |