From 8df666b985bd4b4cb4f76d5d27d02ff66a38d320 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Wed, 21 Jul 2010 15:40:55 +0200 Subject: [PATCH] Removed temporarily clocking. --- compiler/minils/main/mls_compiler.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/minils/main/mls_compiler.ml b/compiler/minils/main/mls_compiler.ml index 2f35f0e..379c0e0 100644 --- a/compiler/minils/main/mls_compiler.ml +++ b/compiler/minils/main/mls_compiler.ml @@ -11,7 +11,7 @@ open Compiler_utils let compile pp p = (* Clocking *) - let p = do_silent_pass Clocking.program "Clocking" p true in + (*let p = do_silent_pass Clocking.program "Clocking" p true in*) (* Check that the dataflow code is well initialized *) (*let p = do_silent_pass Init.program "Initialization check" p !init in *)