X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fsigs.ml;h=9fc3e866616ffff6f130dc8b4a8a7b5edd834a12;hp=dc98baf29eef3489cd95f289d9b93381dd2263d8;hb=9b75e9a2074c357fc2c823156451209d2a4cef8b;hpb=447476621700590e7386283c6d2850d6cd9721c8 diff --git a/src/sigs.ml b/src/sigs.ml index dc98baf..9fc3e86 100644 --- 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