From 0a65964ee6ebd4084c02c8ef5e83e5782f3f37c3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@m4x.org>
Date: Tue, 22 Jun 2010 10:08:30 +0200
Subject: [PATCH] Put back error in Clocking

---
 compiler/minils/analysis/clocking.ml | 2 ++
 1 file changed, 2 insertions(+)

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