Project

General

Profile

Revision 54d032f5 src/expand.ml

View differences:

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