From 470ba44a86690db4ce8205818745a7d1d2f23e21 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Fri, 3 Jul 2015 23:45:30 +0200 Subject: Fix LogicTest --- LogicTest.icl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/LogicTest.icl b/LogicTest.icl index 11559e7..6c13eb7 100644 --- a/LogicTest.icl +++ b/LogicTest.icl @@ -55,5 +55,5 @@ exprs_assoc = [e10,e11,e12,e13,e14,e15,e16,e17] //Start = map toString exprs_rand //Start = map toString exprs_assoc -Start = toString (truthtable e15) +Start = show Plain (compute (truthtable e15)) -- cgit v1.2.3