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

---
 test/make_checkTest.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'test/make_checkTest.ml')

diff --git a/test/make_checkTest.ml b/test/make_checkTest.ml
index 2066c22..d428b45 100644
--- a/test/make_checkTest.ml
+++ b/test/make_checkTest.ml
@@ -26,7 +26,8 @@ module M (Check : Qsp_syntax.S.Analyzer) = struct
     let lexing =
       Sedlexing.Latin1.from_string content |> Qparser.Lexbuf.from_lexbuf
     in
-    Qparser.Analyzer.parse (module Check) lexing
+    let context = Check.initialize () in
+    Qparser.Analyzer.parse (module Check) lexing context
 
   let get_report :
       (Check.Location.t * Qsp_syntax.Report.t list, Qsp_syntax.Report.t) result ->
-- 
cgit v1.2.3