--- a/src/Pure/ProofGeneral/proof_general_pgip.ML Sun Nov 04 16:43:29 2007 +0100
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML Sun Nov 04 16:43:31 2007 +0100
@@ -819,8 +819,7 @@
val location = #location vs (* TODO: extract position *)
val _ = start_delay_msgs () (* gather parsing errs/warns *)
- val doc = OldPgipParser.pgip_parser text
- (* not yet working: PgipParser.pgip_parser Position.none text *)
+ val doc = PgipParser.pgip_parser Position.none text
val errs = end_delayed_msgs ()
val sysattrs = PgipTypes.opt_attr "systemdata" systemdata