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;