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/Metis/metis_reconstruct.ML
changeset 46392 676a4b4b6e73
parent 46320 0b8b73b49848
child 46708 b138dee7bed3 
--- a/src/HOL/Tools/Metis/metis_reconstruct.ML	Wed Feb 01 17:16:55 2012 +0100
+++ b/src/HOL/Tools/Metis/metis_reconstruct.ML	Thu Feb 02 01:20:28 2012 +0100
@@ -337,7 +337,7 @@
           let
             val s = s |> Metis_Name.toString
                       |> perhaps (try (unprefix_and_unascii const_prefix
-                                       #> the #> unmangled_const_name))
+                                       #> the #> unmangled_const_name #> hd))
           in
             if s = metis_predicator orelse s = predicator_name orelse
                s = metis_systematic_type_tag orelse s = metis_ad_hoc_type_tag
isabelle