src/ZF/arith_data.ML
changeset 20342 4392003fcbfa
parent 20113 90a8d14f3610
child 24630 351a308ab58d
     1.1 --- a/src/ZF/arith_data.ML	Sat Aug 05 14:52:55 2006 +0200
     1.2 +++ b/src/ZF/arith_data.ML	Sat Aug 05 14:52:57 2006 +0200
     1.3 @@ -79,7 +79,7 @@
     1.4    end;
     1.5  
     1.6  fun prep_simproc (name, pats, proc) =
     1.7 -  Simplifier.simproc (Theory.sign_of (the_context ())) name pats proc;
     1.8 +  Simplifier.simproc (the_context ()) name pats proc;
     1.9  
    1.10  
    1.11  (*** Use CancelNumerals simproc without binary numerals,