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/Pure/Isar/code_unit.ML
changeset 28015 11635f41abc1
parent 27610 8882d47e075f
child 28054 2b84d34c5d02 
--- a/src/Pure/Isar/code_unit.ML	Wed Aug 27 11:24:32 2008 +0200
+++ b/src/Pure/Isar/code_unit.ML	Wed Aug 27 11:24:34 2008 +0200
@@ -307,7 +307,7 @@
         val ty_decl = (Logic.unvarifyT o Sign.the_const_type thy) c;
         val (tyco, _) = last_typ (c, ty) ty_decl;
         val (_, vs) = last_typ (c, ty) ty;
-      in ((tyco, map snd vs), (c, (map fst vs, ty_decl))) end;
+      in ((tyco, map snd vs), (c, (map fst vs, ty))) end;
     fun add ((tyco', sorts'), c) ((tyco, sorts), cs) =
       let
         val _ = if tyco' <> tyco
isabelle