From 3534b2f4ed4ee682d2c09aa501e77338c0e166f7 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Mon, 13 May 2024 11:10:51 -0500 Subject: Initial commit x2 --- test/dune | 2 +- test/test_apbox.ml | 0 test/test_stitch.ml | 0 3 files changed, 1 insertion(+), 1 deletion(-) delete mode 100644 test/test_apbox.ml create mode 100644 test/test_stitch.ml (limited to 'test') diff --git a/test/dune b/test/dune index d392dd2..adbe4c1 100644 --- a/test/dune +++ b/test/dune @@ -1,2 +1,2 @@ (test - (name test_apbox)) + (name test_stitch)) diff --git a/test/test_apbox.ml b/test/test_apbox.ml deleted file mode 100644 index e69de29..0000000 diff --git a/test/test_stitch.ml b/test/test_stitch.ml new file mode 100644 index 0000000..e69de29 -- cgit v1.2.3