X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fsigs.ml;fp=src%2Fsigs.ml;h=102240426e808c351f778c2ce530f6ea388302bc;hb=d9c0e4863807eaf472e875a4bad35cfefe985c95;hp=a3cf635421ec47e7124bfdd0357cf021517245c4;hpb=9c0b145d050a5981010435f54848dc862782709c;p=tatoo.git

diff --git a/src/sigs.ml b/src/sigs.ml
index a3cf635..1022404 100644
--- a/src/sigs.ml
+++ b/src/sigs.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-01-30 19:07:19 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-02-05 15:58:13 CET by Kim Nguyen>
 *)
 
 (** This module contains all the signatures of the project, to avoid
@@ -158,6 +158,10 @@ struct
     (** Initializes the internal storage. Any previously hashconsed
         element is discarded. *)
     val init : unit -> unit
+
+    (** Create a dummy (non-hashconsed) node with a boggus identifer
+        and hash *)
+    val dummy : data -> t
   end