aboutsummaryrefslogtreecommitdiff
path: root/test/literals.ml
diff options
context:
space:
mode:
Diffstat (limited to 'test/literals.ml')
-rw-r--r--test/literals.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/literals.ml b/test/literals.ml
index 8f5a56e..90741ff 100644
--- a/test/literals.ml
+++ b/test/literals.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