src/Pure/ProofGeneral/pgip_types.ML

--- a/src/Pure/ProofGeneral/pgip_types.ML	Tue Jan 11 21:52:10 2011 +0100
+++ b/src/Pure/ProofGeneral/pgip_types.ML	Wed Jan 12 14:07:29 2011 +0100
@@ -220,7 +220,8 @@
 
 val int_to_pgstring = signed_string_of_int
 
-val real_to_pgstring = signed_string_of_real
+val real_to_pgstring = smart_string_of_real;
+
 
 fun string_to_pgstring s = XML.text s