From b38bcd572d6f827a1b639933c8cf0fbe3b832a8d Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Fri, 13 Oct 2023 14:26:26 +0200
Subject: New checker which operate accumulate differents other checkers

---
 lib/syntax/S.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/syntax/S.ml')

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
-- 
cgit v1.2.3