aboutsummaryrefslogtreecommitdiff
path: root/test/syntax.ml
diff options
context:
space:
mode:
authorChimrod <>2025-07-19 11:18:24 +0200
committerChimrod <>2025-08-01 14:12:14 +0200
commit3046fb0d0c1ceac2c6a6ca9456e9e05671e0cef9 (patch)
tree8ba2700e541a6753499ceac54ced4f1d02a3b625 /test/syntax.ml
parent406b7b79cd375b071f92ddee9cee14a98dc91281 (diff)
Added dependencies system between the modules in the checksHEADmaster
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 ff5a3ca..ce3e89e 100644
--- a/test/syntax.ml
+++ b/test/syntax.ml
@@ -5,7 +5,7 @@ module S = Qsp_syntax.S
module T = Qsp_syntax.T
let location_id = Type.Id.make ()
-let e1 = Qsp_syntax.Catalog.build ~location_id (module Tree)
+let e1 = Qsp_syntax.Identifier.build ~location_id (module Tree)
module Parser = Check.Make (struct
let t = [| e1 |]