From 6fd720c07e3e361932e01bfbdbe4637c8f610649 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Sun, 4 Feb 2024 10:37:04 +0100
Subject: Added a general context for each test

---
 lib/syntax/check.mli | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib/syntax/check.mli')

diff --git a/lib/syntax/check.mli b/lib/syntax/check.mli
index daacf47..25075c8 100644
--- a/lib/syntax/check.mli
+++ b/lib/syntax/check.mli
@@ -28,7 +28,8 @@ val build :
       and type Expression.t' = _
       and type Instruction.t = _
       and type Instruction.t' = _
-      and type Location.t = 'a) ->
+      and type Location.t = 'a
+      and type context = _) ->
   'a Id.typeid * t
 (** Build a new check from a module following S.Analyzer signature. 
 
-- 
cgit v1.2.3