diff --git a/compiler/minils/minils.ml b/compiler/minils/minils.ml
index f51a5ab..b9cb17c 100644
--- a/compiler/minils/minils.ml
+++ b/compiler/minils/minils.ml
@@ -147,9 +147,9 @@ type program =
 let mk_exp ?(exp_ty = Tprod []) ?(clock = Cbase) ?(loc = no_location) desc =
   { e_desc = desc; e_ty = exp_ty; e_ck = clock; e_loc = loc }
 
-let mk_var_dec ?(ck = Cbase) name ty =
+let mk_var_dec ?(clock = Cbase) name ty =
   { v_name = name; v_type = ty;
-    v_clock = ck }
+    v_clock = clock }
 
 let mk_equation ?(loc = no_location) pat exp =
   { eq_lhs = pat; eq_rhs = exp; eq_loc = loc }
diff --git a/compiler/minils/transformations/normalize.ml b/compiler/minils/transformations/normalize.ml
index a56968b..329765a 100644
--- a/compiler/minils/transformations/normalize.ml
+++ b/compiler/minils/transformations/normalize.ml
@@ -19,7 +19,7 @@ and cfalse = Name "false"
 
 let equation (d_list, eq_list) ({ e_ty = te; e_ck = ck } as e) =
   let n = Ident.fresh "_v" in
-  let d_list = (mk_var_dec ~ck:ck n te) :: d_list in
+  let d_list = (mk_var_dec ~clock:ck n te) :: d_list in
   let eq_list = (mk_equation (Evarpat n) e) :: eq_list in
     (d_list, eq_list), n