X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fhcons.mli;h=05def66c52ecfbdfe60c279548a10e587b2bf25d;hp=3e80a036c886e6034a70cb8142882ac71bbf33a3;hb=aade6d9ba2e2b65e021de8a1c3a2d3874aa5742e;hpb=41dd1fed04cabad212f10fce3484545f6e9d9444

diff --git a/src/hcons.mli b/src/hcons.mli
index 3e80a03..05def66 100644
--- a/src/hcons.mli
+++ b/src/hcons.mli
@@ -14,6 +14,7 @@
 (***********************************************************************)
 
 (** Implementation of generic hashconsing. *)
+(** {directinclude true} *)
 
 include module type of Hcons_sig