src/Pure/ProofGeneral/proof_general_pgip.ML

       | (PGIP_QUIT,_) => ()
       | (_,NONE) => ()
 in
   (* TODO: add socket interface *)
 
-  val xmlP = XML.parse_comment_whspc |-- XML.parse_element >> single
+  val xmlP = XML.parse_comments |-- XML.parse_element >> single
 
   val tty_src = Source.set_prompt "" (Source.source Symbol.stopper xmlP NONE Source.tty)
 
   fun pgip_toplevel x = loop true x
 end