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

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