From a48abd0a82037082c6974dc87e97b8a1122221f8 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sun, 17 Jan 2016 14:37:52 +0100
Subject: Fixed bug where atom options were duplicated

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

diff --git a/Logic.icl b/Logic.icl
index 676744e..0406d1f 100644
--- a/Logic.icl
+++ b/Logic.icl
@@ -262,7 +262,7 @@ simple_truthtable :: Expr -> TruthTable
 simple_truthtable e = {exprs = [Atom a \\ a <- all_atoms e] ++ [e], options = all_atom_options e}
 
 simple_truthtable_n :: [Expr] -> TruthTable // Simple truthtable with multiple expressions
-simple_truthtable_n es = {exprs = removeDup ([Atom a \\ a <- flatten (map all_atoms es)] ++ es), options = flatten (map all_atom_options es)}
+simple_truthtable_n es = {exprs = removeDup ([Atom a \\ a <- flatten (map all_atoms es)] ++ es), options = removeDup (flatten (map all_atom_options es))}
 
 truthtable :: Expr -> TruthTable
 truthtable e = {exprs = sorted_subexprs e ++ [e], options = all_atom_options e}
-- 
cgit v1.2.3