Revision 54d032f5 src/expand.ml
src/expand.ml | ||
---|---|---|
73 | 73 |
let ty_dec = {ty_dec_desc = Tydec_any; ty_dec_loc = vloc} in (* dummy *) |
74 | 74 |
let ck_dec = {ck_dec_desc = Ckdec_any; ck_dec_loc = vloc} in (* dummy *) |
75 | 75 |
{var_id = vid; |
76 |
var_orig = false; |
|
76 | 77 |
var_dec_type = ty_dec; |
77 | 78 |
var_dec_clock = ck_dec; |
78 | 79 |
var_dec_deadline = vdd; |
Also available in: Unified diff