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) ->