--- a/src/HOL/Tools/Nunchaku/nunchaku_commands.ML Thu Jan 11 12:32:07 2018 +0100
+++ b/src/HOL/Tools/Nunchaku/nunchaku_commands.ML Thu Jan 11 13:48:17 2018 +0100
@@ -56,7 +56,7 @@
AList.defined (op =) default_default_params s orelse
AList.defined (op =) alias_params s orelse
AList.defined (op =) negated_alias_params s orelse
- member (=) ["atoms", "card", "eval", "expect"] s orelse
+ member (op =) ["atoms", "card", "eval", "expect"] s orelse
exists (fn p => String.isPrefix (p ^ " ") s)
["atoms", "card", "dont_whack", "mono", "non_mono", "non_wf", "wf", "whack"];