From f05de5f741ae1618cca4904c0ebeb7a189adb828 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 22 Dec 2020 12:17:32 -0500
Subject: [PATCH] fix warnings

---
 dune-project                 | 1 -
 src/arith/tests/run_tests.ml | 2 --
 2 files changed, 3 deletions(-)

diff --git a/dune-project b/dune-project
index 00d8427e..89f5a4d0 100644
--- a/dune-project
+++ b/dune-project
@@ -1,3 +1,2 @@
 (lang dune 1.6)
 (using menhir 1.0)
-(using fmt 1.1)
diff --git a/src/arith/tests/run_tests.ml b/src/arith/tests/run_tests.ml
index 6cea0b45..a1345c65 100644
--- a/src/arith/tests/run_tests.ml
+++ b/src/arith/tests/run_tests.ml
@@ -1,6 +1,4 @@
 
-open OUnit
-
 let props =
   List.flatten
     [ Test_simplex.props;