src/HOL/NSA/NSA.thy

--- a/src/HOL/NSA/NSA.thy	Thu Jul 23 22:20:37 2009 +0200
+++ b/src/HOL/NSA/NSA.thy	Thu Jul 23 23:12:21 2009 +0200
@@ -684,7 +684,7 @@
 
 in
 val approx_reorient_simproc =
-  Arith_Data.prep_simproc
+  Arith_Data.prep_simproc @{theory}
     ("reorient_simproc", ["0@=x", "1@=x", "number_of w @= x"], reorient_proc);
 end;