--- a/src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML Thu Jan 11 12:32:07 2018 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML Thu Jan 11 13:48:17 2018 +0100
@@ -98,7 +98,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 (=) property_dependent_params s orelse s = "expect"
+ member (op =) property_dependent_params s orelse s = "expect"
fun is_prover_list ctxt s =
(case space_explode " " s of