Revision 54d032f5 src/backends/C/c_backend_common.ml
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