diff --git a/compiler/minils/minils.ml b/compiler/minils/minils.ml
index db7a314..54c4260 100644
--- a/compiler/minils/minils.ml
+++ b/compiler/minils/minils.ml
@@ -129,10 +129,11 @@ type program = {
 
 (*Helper functions to build the AST*)
 
-let mk_exp ?(ty = invalid_type) ?(clock = Cbase) ?(loc = no_location) desc =
+let mk_exp ?(ty = invalid_type)
+           ?(clock = fresh_clock()) ?(loc = no_location) desc =
   { e_desc = desc; e_ty = ty; e_ck = clock; e_loc = loc }
 
-let mk_var_dec ?(loc = no_location) ?(clock = Cbase) ident ty =
+let mk_var_dec ?(loc = no_location) ?(clock = fresh_clock()) ident ty =
   { v_ident = ident; v_type = ty; v_clock = clock; v_loc = loc }
 
 let mk_equation ?(loc = no_location) pat exp =