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.
Admin/isatest/annomaly.ML
changeset 22489 52a5277d0489
parent 22488 415098eece94
child 23207 769f7762f531 
--- a/Admin/isatest/annomaly.ML	Tue Mar 20 20:42:14 2007 +0100
+++ b/Admin/isatest/annomaly.ML	Tue Mar 20 21:21:38 2007 +0100
@@ -4,8 +4,9 @@
 
   val smlnj_use_text = use_text
 
-  fun strip ([], name, _) = name
+  fun strip ([], "src" :: name, _) = name
     | strip (["Distribution"], name, _) = name
+    | strip ([], name, _) = name
     | strip (h1 :: t1, h2 :: t2, def) =
       if h1 = h2 then strip (t1, t2, def) else def
isabelle