New checker which operate accumulate differents other checkers

1 files changed, 2 insertions, 2 deletions

diff --git a/lib/syntax/S.ml b/lib/syntax/S.ml
index 6cab8c9..3d86881 100644
--- a/lib/syntax/S.ml
+++ b/lib/syntax/S.ml
@@ -98,13 +98,13 @@ module type Location = sig
   type t
   type instruction
 
-  val location : pos -> instruction list -> t repr
+  val location : pos -> instruction repr list -> t repr
 end
 
 module type Analyzer = sig
   module Expression : Expression
   module Instruction : Instruction with type expression = Expression.t' repr
-  module Location : Location with type instruction = Instruction.t' repr
+  module Location : Location with type instruction = Instruction.t'
 end
 
 (** Helper module used in order to convert elements from the differents