src/ZF/arith_data.ML

--- a/src/ZF/arith_data.ML	Wed Aug 25 18:19:04 2010 +0200
+++ b/src/ZF/arith_data.ML	Wed Aug 25 18:36:22 2010 +0200
@@ -77,7 +77,7 @@
   end;
 
 fun prep_simproc thy (name, pats, proc) =
-  Simplifier.simproc thy name pats proc;
+  Simplifier.simproc_global thy name pats proc;
 
 
 (*** Use CancelNumerals simproc without binary numerals,