# HG changeset patch
# User wenzelm
# Date 1005759938 -3600
# Node ID 11a6c562030657bef6611dbb7254b90ccb9d596a
# Parent  91c9f661b183d2abffd5f1db762db111d94488d2
store original simps for codegen;

diff -r 91c9f661b183 -r 11a6c5620306 src/HOL/Tools/primrec_package.ML
--- a/src/HOL/Tools/primrec_package.ML	Wed Nov 14 18:44:27 2001 +0100
+++ b/src/HOL/Tools/primrec_package.ML	Wed Nov 14 18:45:38 2001 +0100
@@ -311,7 +311,7 @@
       |> Theory.parent_path
   in
     (foldl (fn (thy, (fname, _, _, tname)) =>
-       put_primrec fname (tname, simps') thy) (thy''', defs), simps')
+       put_primrec fname (tname, simps) thy) (thy''', defs), simps')
   end;