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/Tools/Code/code_symbol.ML
changeset 56826 ba18bd41e510
parent 56811 b66639331db5
child 70456 c742527a25fe 
--- a/src/Tools/Code/code_symbol.ML	Fri May 02 14:15:23 2014 +0200
+++ b/src/Tools/Code/code_symbol.ML	Fri May 02 21:18:50 2014 +0200
@@ -83,7 +83,7 @@
 structure Graph = Graph(type key = T val ord = symbol_ord);
 
 local
-  val base = Name.desymbolize (SOME false) o Long_Name.base_name;
+  val base = Name.desymbolize NONE o Long_Name.base_name;
   fun base_rel (x, y) = base y ^ "_" ^ base x;
 in
isabelle