store original simps for codegen;
authorwenzelm
Wed Nov 14 18:45:38 2001 +0100 (2001-11-14 ago)
changeset 1218111a6c5620306
parent 12180 91c9f661b183
child 12182 3f820a21dcc1
store original simps for codegen;
src/HOL/Tools/primrec_package.ML
     1.1 --- a/src/HOL/Tools/primrec_package.ML	Wed Nov 14 18:44:27 2001 +0100
     1.2 +++ b/src/HOL/Tools/primrec_package.ML	Wed Nov 14 18:45:38 2001 +0100
     1.3 @@ -311,7 +311,7 @@
     1.4        |> Theory.parent_path
     1.5    in
     1.6      (foldl (fn (thy, (fname, _, _, tname)) =>
     1.7 -       put_primrec fname (tname, simps') thy) (thy''', defs), simps')
     1.8 +       put_primrec fname (tname, simps) thy) (thy''', defs), simps')
     1.9    end;
    1.10  
    1.11