aboutsummaryrefslogtreecommitdiffstats
path: root/test/dune
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-05-11 23:10:27 -0300
committerGitHub <noreply@github.com>2026-05-11 23:10:27 -0300
commite3d3e20dfea253de291d5b31059cd55c0eaabf02 (patch)
tree82cf0d46ea3768171c8a87630cab5011d1ccf2a1 /test/dune
parent4fdf3392868c72ff4c33b70d165a177e97f2fece (diff)
downloadSakura-e3d3e20dfea253de291d5b31059cd55c0eaabf02.tar.gz
Sakura-e3d3e20dfea253de291d5b31059cd55c0eaabf02.zip
Multigroup unified reference for hierarchical access
Diffstat (limited to 'test/dune')
-rw-r--r--test/dune12
1 files changed, 6 insertions, 6 deletions
diff --git a/test/dune b/test/dune
index 2f3e5eb..0f0374b 100644
--- a/test/dune
+++ b/test/dune
@@ -1,6 +1,6 @@
-(library
- (name test_relational_engine)
- (libraries relational_engine)
- (inline_tests)
- (preprocess
- (pps ppx_inline_test)))
+; (library
+; (name test_relational_engine)
+; (libraries relational_engine)
+; (inline_tests)
+; (preprocess
+; (pps ppx_inline_test)))