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