1 files changed, 4 insertions, 4 deletions
diff --git a/lib/checks/check.mli b/lib/checks/check.mli
index ebed0df..34d953f 100644
--- a/lib/checks/check.mli
+++ b/lib/checks/check.mli
@@ -13,19 +13,19 @@
       end)
     ]} *)
 
-val get_module : Qsp_syntax.Catalog.ex -> (module Qsp_syntax.S.Analyzer)
-
 type result
 
 val get : 'a Type.Id.t -> result -> 'a option
 (** The method [get] can be used to get the internal value for one of the
     checker used. *)
 
+val set : 'a Type.Id.t -> result -> 'a -> result option
+
 module Make (A : sig
-  val t : Qsp_syntax.Catalog.ex array
+  val t : Qsp_syntax.Identifier.t array
 end) : sig
   include
-    Qsp_syntax.S.Analyzer
+    Qsp_syntax.Analyzer.T
       with type Location.t = result array
        and type context = result array
 end