src/Pure/Isar/parse.ML

--- a/src/Pure/Isar/parse.ML	Fri Jan 17 20:51:36 2014 +0100
+++ b/src/Pure/Isar/parse.ML	Sat Jan 18 19:15:12 2014 +0100
@@ -32,6 +32,7 @@
   val string: string parser
   val alt_string: string parser
   val verbatim: string parser
+  val cartouche: string parser
   val sync: string parser
   val eof: string parser
   val command_name: string -> string parser
@@ -185,6 +186,7 @@
 val string = kind Token.String;
 val alt_string = kind Token.AltString;
 val verbatim = kind Token.Verbatim;
+val cartouche = kind Token.Cartouche;
 val sync = kind Token.Sync;
 val eof = kind Token.EOF;