summaryrefslogtreecommitdiff
path: root/ocaml/test/domain/dune
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml/test/domain/dune')
-rw-r--r--ocaml/test/domain/dune11
1 files changed, 0 insertions, 11 deletions
diff --git a/ocaml/test/domain/dune b/ocaml/test/domain/dune
deleted file mode 100644
index 1364288..0000000
--- a/ocaml/test/domain/dune
+++ /dev/null
@@ -1,11 +0,0 @@
-(tests
- (names
- test_d01p01
- test_d01p02
- test_d03p01)
- (libraries
- domain
- alcotest
- qcheck-core
- qcheck-alcotest)
- (modes byte exe))