diff options
| author | Camil Staps | 2015-07-04 16:10:52 +0200 |
|---|---|---|
| committer | Camil Staps | 2015-07-04 16:10:52 +0200 |
| commit | fcf8e87a48de34945743d764ee17a1c8dbb83fbb (patch) | |
| tree | f4045fa4498a98ea188f4bc9ad928d4851927294 | |
| parent | Limit on number of atoms (diff) | |
Bugfix logicparser
| -rw-r--r-- | LogicParser.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/LogicParser.icl b/LogicParser.icl index a47ffa5..ab99abf 100644 --- a/LogicParser.icl +++ b/LogicParser.icl @@ -27,7 +27,7 @@ import StdEnv, StdMaybe, ArgEnv, Logic Start | isEmpty exprs = abort ("Usage: " +++ argv.[0] +++ " -b -nt [-e] [-html|-latex] <string>\n") -| length (foldr (++) [] (map all_atoms exprs)) > 8 = abort "You don't need more than 8 atomic expressions." +| 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 |