changeset 22578 | b0eb5652f210 |
parent 22548 | 6ce4bddf3bcb |
child 22997 | d4f3b015b50b |
--- a/src/HOL/Integ/nat_simprocs.ML Wed Apr 04 00:10:59 2007 +0200 +++ b/src/HOL/Integ/nat_simprocs.ML Wed Apr 04 00:11:03 2007 +0200 @@ -60,7 +60,7 @@ arith_simps @ rel_simps; fun prep_simproc (name, pats, proc) = - Simplifier.simproc (Theory.sign_of (the_context ())) name pats proc; + Simplifier.simproc (the_context ()) name pats proc; (*** CancelNumerals simprocs ***)