Added dependencies system between the modules in the checksHEADmaster

1 files changed, 4 insertions, 5 deletions

diff --git a/lib/syntax/tree.mli b/lib/syntax/tree.mli
index 9ed442b..097a7ac 100644
--- a/lib/syntax/tree.mli
+++ b/lib/syntax/tree.mli
@@ -1,9 +1,7 @@
-(** 
-    Implementation for S.Analyzer for building a complete Ast.
+(** Implementation for S.Analyzer for building a complete Ast.
 
     Used in the unit test in order to check if the grammar is interpreted as
-    expected, not really usefull over a big qsp.
- *)
+    expected, not really usefull over a big qsp. *)
 
 (** This module is the result of the evaluation. *)
 module Ast : sig
@@ -53,8 +51,9 @@ module Expression : sig
 end
 
 include
-  S.Analyzer
+  Analyzer.T
     with module Expression := Expression
      and type Instruction.t' = S.pos Ast.statement
      and type Location.t = S.pos * S.pos Ast.statement list
      and type context = unit
+     and type ex = Identifier.t