Add string pasting support to the gramamr.

[snipe.git] / trans / temp.sml

diff --git a/trans/temp.sml b/trans/temp.sml
index d370d99ccd470eb1c341697127bc7bf49e56996f..68de49ca392630b8259d892fa5d374aff3a7a0ff 100644 (file)
--- a/trans/temp.sml
+++ b/trans/temp.sml
@@ -9,9 +9,9 @@ signature TEMP =
 sig
   type temp
 
 sig
   type temp
 

-  val reset : unit -> unit     (* resets temp numbering *)
-  val new : string -> temp     (* returns a unique new temp *)
-  val name : temp -> string    (* returns the name of a temp *)
+  val reset : unit -> unit           (* resets temp numbering *)
+  val new : string -> temp           (* returns a unique new temp *)
+  val name : temp -> string          (* returns the name of a temp *)

   val compare : temp * temp -> order (* comparison function *)
   val eq : temp * temp -> bool
 end
   val compare : temp * temp -> order (* comparison function *)
   val eq : temp * temp -> bool
 end