diff --git a/src/solver/tseitin.ml b/src/solver/tseitin.ml
index fa124f83..8951de3f 100644
--- a/src/solver/tseitin.ml
+++ b/src/solver/tseitin.ml
@@ -10,6 +10,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+module type Arg = Tseitin_intf.Arg
+
 module type S = Tseitin_intf.S
 
 module Make (F : Tseitin_intf.Arg) = struct