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/General/scan.scala
changeset 42718 d7b2625c1193
parent 42441 781c622af16a
child 43411 0206466ee473 
--- a/src/Pure/General/scan.scala	Thu May 12 16:23:13 2011 +0200
+++ b/src/Pure/General/scan.scala	Thu May 12 16:28:46 2011 +0200
@@ -22,7 +22,7 @@
 
   object Lexicon
   {
-    private case class Tree(val branches: Map[Char, (String, Tree)])
+    protected case class Tree(val branches: Map[Char, (String, Tree)])
     private val empty_tree = Tree(Map())
 
     val empty: Lexicon = new Lexicon
isabelle