Project

General

Profile

Revision 6a1a01d2 src/backends/C/c_backend_common.ml

View differences:

src/backends/C/c_backend_common.ml
47 47

  
48 48
let mk_call_var_decl loc id =
49 49
  { var_id = id;
50
    var_orig = false;
50 51
    var_dec_type = mktyp Location.dummy_loc Tydec_any;
51 52
    var_dec_clock = mkclock Location.dummy_loc Ckdec_any;
52 53
    var_dec_const = false;

Also available in: Unified diff