From 606f39cb00766e5be46b38e3c3034e702c3795e6 Mon Sep 17 00:00:00 2001 From: Mateus Cruz Date: Tue, 6 Feb 2024 03:08:10 -0300 Subject: chore: rename app --- test/dune | 2 +- test/test_combattant.ml | 0 test/test_rinha.ml | 0 3 files changed, 1 insertion(+), 1 deletion(-) create mode 100644 test/test_combattant.ml delete mode 100644 test/test_rinha.ml (limited to 'test') diff --git a/test/dune b/test/dune index df3754d..6caed9b 100644 --- a/test/dune +++ b/test/dune @@ -1,2 +1,2 @@ (test - (name test_rinha)) + (name test_combattant)) diff --git a/test/test_combattant.ml b/test/test_combattant.ml new file mode 100644 index 0000000..e69de29 diff --git a/test/test_rinha.ml b/test/test_rinha.ml deleted file mode 100644 index e69de29..0000000 -- cgit v1.2.3