Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/inductive_codegen.ML
changeset 22661 f3ba63a2663e
parent 22642 bfdb29f11eb4
child 22791 992222f3d2eb 
--- a/src/HOL/Tools/inductive_codegen.ML	Fri Apr 13 12:30:47 2007 +0200
+++ b/src/HOL/Tools/inductive_codegen.ML	Fri Apr 13 15:43:25 2007 +0200
@@ -98,7 +98,7 @@
         NONE => NONE
       | SOME ({names, ...}, {intrs, raw_induct, ...}) =>
           SOME (names, thyname_of_const s thy, length (params_of raw_induct),
-            preprocess thy (rev intrs)))
+            preprocess thy intrs))
     | SOME _ =>
         let
           val SOME names = find_first
isabelle