aboutsummaryrefslogtreecommitdiff
path: root/test/syntax.ml
diff options
context:
space:
mode:
Diffstat (limited to 'test/syntax.ml')
-rw-r--r--test/syntax.ml2
1 files changed, 1 insertions, 1 deletions
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