src/Pure/ProofGeneral/proof_general_pgip.ML
changeset 26548 41bbcaf3e481
parent 26541 14b268974c4b
child 26552 5677b4faf295
     1.1 --- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Thu Apr 03 21:23:38 2008 +0200
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Thu Apr 03 21:23:39 2008 +0200
     1.3 @@ -1115,7 +1115,7 @@
     1.4  in
     1.5    (* TODO: add socket interface *)
     1.6  
     1.7 -  val xmlP = XML.parse_comment_whspc |-- XML.parse_elem >> single
     1.8 +  val xmlP = XML.parse_comment_whspc |-- XML.parse_element >> single
     1.9  
    1.10    val tty_src = Source.set_prompt "" (Source.source Symbol.stopper xmlP NONE Source.tty)
    1.11