diff --git a/compiler/minils/analysis/clocking.ml b/compiler/minils/analysis/clocking.ml
index 0026a14..53ac4ce 100644
--- a/compiler/minils/analysis/clocking.ml
+++ b/compiler/minils/analysis/clocking.ml
@@ -11,9 +11,11 @@
 open Misc
 open Ident
 open Minils
+open Mls_printer
 open Signature
 open Types
 open Location
+open Printf
   
 type error = | Etypeclash of ct * ct