From fcf8e87a48de34945743d764ee17a1c8dbb83fbb Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sat, 4 Jul 2015 16:10:52 +0200
Subject: Bugfix logicparser

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

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
-- 
cgit v1.2.3