From c53a81e54b23a648570a32e890f243df306718d9 Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Thu, 1 Dec 2016 18:27:50 +0100 Subject: [PATCH] Forgot to update .ml when adding Arg to .mli --- src/solver/tseitin.ml | 2 ++ 1 file changed, 2 insertions(+) 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