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/PIDE/document.scala
changeset 36956 21be4832c362
parent 36761 c8ae87ce6e4d
child 36990 449628c148cf 
--- a/src/Pure/PIDE/document.scala	Mon May 17 10:20:55 2010 +0200
+++ b/src/Pure/PIDE/document.scala	Mon May 17 14:23:54 2010 +0200
@@ -46,7 +46,7 @@
     /* unparsed dummy commands */
 
     def unparsed(source: String) =
-      new Command(null, List(Outer_Lex.Token(Outer_Lex.Token_Kind.UNPARSED, source)))
+      new Command(null, List(Token(Token.Kind.UNPARSED, source)))
 
     def is_unparsed(command: Command) = command.id == null
isabelle