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/Tools/codegen_names.ML
changeset 22185 24bf0e403526
parent 22075 d52dab770767
child 22197 461130ccfef4 
--- a/src/Pure/Tools/codegen_names.ML	Thu Jan 25 09:32:50 2007 +0100
+++ b/src/Pure/Tools/codegen_names.ML	Thu Jan 25 09:32:51 2007 +0100
@@ -261,7 +261,7 @@
     | NONE => (case CodegenData.get_datatype_of_constr thy const
    of SOME dtco => SOME (thyname_of_tyco thy dtco)
     | NONE => (case CodegenConsts.find_def thy const
-   of SOME ((thyname, _), _) => SOME thyname
+   of SOME (thyname, _) => SOME thyname
     | NONE => NONE));
 
 fun const_policy thy (c, tys) =
isabelle