signed_string_of_int;
authorwenzelm
Fri Dec 29 18:46:04 2006 +0100 (2006-12-29)
changeset 21944e877a5a78522
parent 21943 b7b66f440d04
child 21945 4dd9a5fc7fc3
signed_string_of_int;
src/Pure/ProofGeneral/pgip_types.ML
     1.1 --- a/src/Pure/ProofGeneral/pgip_types.ML	Fri Dec 29 18:46:04 2006 +0100
     1.2 +++ b/src/Pure/ProofGeneral/pgip_types.ML	Fri Dec 29 18:46:04 2006 +0100
     1.3 @@ -215,8 +215,7 @@
     1.4         | NONE => raise PGIP ("Expected a non-empty string: "^s))
     1.5      handle _ => raise PGIP ("Invalid XML string syntax: "^s)
     1.6  
     1.7 -fun int_to_pgstring i =
     1.8 -  if i < 0 then "-" ^ string_of_int (~ i) else string_of_int i
     1.9 +val int_to_pgstring = signed_string_of_int
    1.10  
    1.11  fun string_to_pgstring s = XML.text s
    1.12