From 9373cac4ca120dfebba2d98b4bd216d471e1ee92 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 1 Aug 2016 09:43:40 +0200
Subject: Really fix #1

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

(limited to 'LogicParser.icl')

diff --git a/LogicParser.icl b/LogicParser.icl
index 46ac605..852a882 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] +++ " -b -nt [-e] [-html|-latex] <string>\n")
+| isEmpty exprs = abort ("Usage: " +++ argv.[0] +++ " [-e] [-html|-latex] <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
-- 
cgit v1.2.3