From 1719e2eb360172fed602fbb5f396f022af803af5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Le=CC=81onard=20Ge=CC=81rard?= <leonard.gerard@ens.fr>
Date: Fri, 23 Jul 2010 21:52:24 +0200
Subject: [PATCH] Fix bad clock expectation for static_exps.

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

diff --git a/compiler/minils/analysis/clocking.ml b/compiler/minils/analysis/clocking.ml
index 6b2431f..0f789ce 100644
--- a/compiler/minils/analysis/clocking.ml
+++ b/compiler/minils/analysis/clocking.ml
@@ -117,7 +117,7 @@ let typ_of_name h x = Env.find x h
 
 let rec typing h e =
   let ct = match e.e_desc with
-    | Econst _ -> Ck (new_var ())
+    | Econst se -> skeleton (new_var ()) se.se_ty
     | Evar x -> Ck (typ_of_name h x)
     | Efby (c, e) -> typing h e
     | Eapp({a_op = op}, args, r) ->