# HG changeset patch
# User berghofe
# Date 1176471805 -7200
# Node ID f3ba63a2663e1e919f8e4c833604d4c7b240eee1
# Parent  2d1179ad431c60a49f059faacd84ea1767d7474f
Removed erroneous application of rev in get_clauses that caused
introduction rules taken from the InductivePackage database to
be in the wrong order.

diff -r 2d1179ad431c -r f3ba63a2663e src/HOL/Tools/inductive_codegen.ML
--- 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