X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fboolean.mli;h=2c1607f0067a48ad0adcebc79abe78278765d1a3;hp=73af3c1086f4e904401c26c101a7cc740f0da0bc;hb=af9d790ca62e678e8e70ab8d8fa7f804985a75e0;hpb=90ce5857f6cad2ebc753fdbc8e37882a1ff47415

diff --git a/src/boolean.mli b/src/boolean.mli
index 73af3c1..2c1607f 100644
--- a/src/boolean.mli
+++ b/src/boolean.mli
@@ -13,12 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-module type ATOM =
-sig
-  include Hcons.S
-  include Common_sig.Printable with type t := t
-end
-
 type ('formula,'atom) expr =
   | False
   | True
@@ -29,7 +23,10 @@ type ('formula,'atom) expr =
 (** View of the internal representation of a formula,
     used for pattern matching *)
 
-module Make(A : ATOM) :
+module Make(A : sig
+  include Hcons.S
+  include Common_sig.Printable with type t := t
+end) :
 sig
   type t