From 53c02501935b3cb2db78e79deb4d38c997505a95 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Mon, 2 Dec 2024 09:05:18 +0100
Subject: Moved the checks in a dedicated library

---
 test/syntax.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/syntax.ml')

diff --git a/test/syntax.ml b/test/syntax.ml
index f922e4f..1123101 100644
--- a/test/syntax.ml
+++ b/test/syntax.ml
@@ -1,6 +1,6 @@
 module Tree = Qsp_syntax.Tree
 module Ast = Tree.Ast
-module Check = Qsp_syntax.Check
+module Check = Qsp_checks.Check
 module S = Qsp_syntax.S
 module T = Qsp_syntax.T
 
-- 
cgit v1.2.3