diff --git a/lib/onnx/tests/dune b/lib/onnx/tests/dune
index 14925791b345e145bcc6b6891ad56d890e9a2606..eb789360f9b56ff0cbc9a0d01711bb0a2e80699a 100644
--- a/lib/onnx/tests/dune
+++ b/lib/onnx/tests/dune
@@ -1,6 +1,6 @@
 (tests
  (names print)
- (libraries caisar.onnx caisar.ir unix)
+ (libraries caisar.onnx caisar.nir unix)
  (deps
   ../../../examples/acasxu/nets/onnx/ACASXU_1_1.onnx
   ../../../tests/bin/inspect_onnx.py))
diff --git a/lib/onnx/tests/print.ml b/lib/onnx/tests/print.ml
index 166927b701182cfb950ea25e547757824c856886..a8f37b07730b4423e4eab195c6aaacfdb0b13b7e 100644
--- a/lib/onnx/tests/print.ml
+++ b/lib/onnx/tests/print.ml
@@ -7,13 +7,13 @@ let () =
 let temporary_file = "out/test.onnx"
 
 let () =
-  match Onnx.Simple.parse file with
+  match Onnx.Reader.from_file file with
   | Error s -> print_endline s
   | Ok { nir = Error s; _ } -> print_endline s
   | Ok { nir = Ok g; _ } -> (
     print_endline "ok";
-    Onnx.Simple.write g temporary_file;
-    match Onnx.Simple.parse temporary_file with
+    Onnx.Writer.to_file g temporary_file;
+    match Onnx.Reader.from_file temporary_file with
     | Error s -> print_endline s
     | Ok { nir = Error s; _ } -> print_endline s
     | Ok { nir = Ok _; _ } -> print_endline "ok")
diff --git a/utils/dune b/utils/dune
index a70bed45a80178d4c3ebaa4256f5184b220e882a..a9a3d356749fe59eff68c361bcc17ff099389b1e 100644
--- a/utils/dune
+++ b/utils/dune
@@ -1,5 +1,5 @@
 (library
  (name caisar_logging)
  (package caisar)
- (libraries base csv logs logs.cli logs.fmt fmt why3)
+ (libraries base csv logs logs.cli logs.fmt fmt fmt.tty why3)
  (synopsis "Logging utilities for CAISAR"))