Project

General

Profile

Revision 01d48bb0 src/normalization.ml

View differences:

src/normalization.ml
69 69
    var_dec_type = dummy_type_dec;
70 70
    var_dec_clock = dummy_clock_dec;
71 71
    var_dec_const = false;
72
    var_dec_value = None;
72 73
    var_type = ty;
73 74
    var_clock = ck;
74 75
    var_loc = loc

Also available in: Unified diff