# HG changeset patch
# User bulwahn
# Date 1333527428 -7200
# Node ID b9e115d4c5daa6654d15fa6767010947d7fdae5f
# Parent  b4490e1a07323eb926b8810dabea60aecdb3d6bc
improved equality check for modes in predicate compiler

diff -r b4490e1a0732 -r b9e115d4c5da src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML
--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML	Tue Apr 03 23:49:24 2012 +0200
+++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML	Wed Apr 04 10:17:08 2012 +0200
@@ -1334,7 +1334,7 @@
       let
         val full_mode = fold_rev (curry Fun) (map (K Input) (binder_types T)) Bool
       in
-        if member (op =) (modes_of Pred ctxt predname) full_mode then
+        if member eq_mode  (modes_of Pred ctxt predname) full_mode then
           let
             val Ts = binder_types T
             val arg_names = Name.variant_list []