src/HOL/Tools/Predicate_Compile/predicate_compile_aux.ML

--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_aux.ML	Mon Mar 22 08:30:13 2010 +0100
+++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_aux.ML	Mon Mar 22 08:30:13 2010 +0100
@@ -325,7 +325,7 @@
   else false
 *)
 
-val is_constr = Code.is_constr;
+val is_constr = Code.is_constr o ProofContext.theory_of;
 
 fun strip_ex (Const ("Ex", _) $ Abs (x, T, t)) =
   let