jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

clock fix.

Browse source
This commit is contained in:
Léonard Gérard 2010-11-04 18:08:40 +01:00
parent 26b30b9bac
commit 7013a01f83
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
compiler/minils/minils.ml
View file

@ -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 =