--- a/src/Pure/ProofGeneral/pgip_output.ML Mon Jan 10 15:30:17 2011 +0100
+++ b/src/Pure/ProofGeneral/pgip_output.ML Mon Jan 10 15:45:46 2011 +0100
@@ -282,7 +282,7 @@
val guisetheory = elto "guisetheory" (single o (pair "thyname")) theory
val guiseproof = elto "guiseproof"
(fn thm=>(attr "thmname" thm) @
- (opt_attr "proofpos" (Option.map Int.toString proofpos))) theorem
+ (opt_attr "proofpos" (Option.map string_of_int proofpos))) theorem
in
XML.Elem (("informguise", []), guisefile @ guisetheory @ guiseproof)
end