Compile again.

[tatoo.git] / src / sigs.ml

diff --git a/src/sigs.ml b/src/sigs.ml
index dc98baf..9fc3e86 100644 (file)
--- a/src/sigs.ml
+++ b/src/sigs.ml
@@ -151,7 +151,6 @@ struct
     (** Equality between hashconsed values. Equivalent to [==] *)
     val equal : t -> t -> bool
 
-
     (** Initializes the internal storage. Any previously hashconsed
         element is discarded. *)
     val init : unit -> unit