src/Pure/ProofGeneral/pgip_input.ML

--- a/src/Pure/ProofGeneral/pgip_input.ML	Thu Apr 03 21:23:38 2008 +0200
+++ b/src/Pure/ProofGeneral/pgip_input.ML	Thu Apr 03 21:23:39 2008 +0200
@@ -63,7 +63,7 @@
     (* unofficial escape command for debugging *)
     | Quitpgip       of { }
 
-    val input           : XML.element -> pgipinput option        (* raises PGIP *)
+    val input: string * XML.attributes * XML.tree list -> pgipinput option  (* raises PGIP *)
 end
 
 structure PgipInput : PGIPINPUT =