--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML Mon Mar 29 17:30:53 2010 +0200
+++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML Mon Mar 29 17:30:53 2010 +0200
@@ -736,7 +736,7 @@
Alt_Names_Data.map (Symtab.insert_list (op =) (pred_name, (mode, fun_name)))
fun alternative_function_of thy pred_name mode =
- AList.lookup (op =) (Symtab.lookup_list (Alt_Names_Data.get thy) pred_name) mode
+ AList.lookup eq_mode (Symtab.lookup_list (Alt_Names_Data.get thy) pred_name) mode
(* datastructures and setup for generic compilation *)