Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
slightly tuned
authorhaftmann
Tue, 28 Oct 2008 16:59:01 +0100
changeset 28705 c77a9f5672f8
parent 28704 8703d17c5e68
child 28706 3fef773ae6b1
slightly tuned
src/Tools/code/code_ml.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/code/code_ml.ML	Tue Oct 28 16:59:00 2008 +0100
+++ b/src/Tools/code/code_ml.ML	Tue Oct 28 16:59:01 2008 +0100
@@ -800,7 +800,7 @@
           in if module_name = module_name' then
             map_node module_name_path (Graph.add_edge (name, name'))
           else let
-            val (common, (diff1::_, diff2::_)) = chop_prefix (op =)
+            val (common, (diff1 :: _, diff2 :: _)) = chop_prefix (op =)
               (module_name_path, NameSpace.explode module_name');
           in
             map_node common
isabelle