diff options
| -rw-r--r-- | asmcomp/linearize.ml | 2 | ||||
| -rw-r--r-- | asmcomp/linearize.mli | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/asmcomp/linearize.ml b/asmcomp/linearize.ml index 6c07efcef..cb0233aea 100644 --- a/asmcomp/linearize.ml +++ b/asmcomp/linearize.ml @@ -23,7 +23,7 @@ let label_counter = ref 99 let new_label() = incr label_counter; !label_counter type instruction = - { desc: instruction_desc; + { mutable desc: instruction_desc; next: instruction; arg: Reg.t array; res: Reg.t array; diff --git a/asmcomp/linearize.mli b/asmcomp/linearize.mli index c4416741f..f22398b07 100644 --- a/asmcomp/linearize.mli +++ b/asmcomp/linearize.mli @@ -17,7 +17,7 @@ type label = int val new_label: unit -> label type instruction = - { desc: instruction_desc; + { mutable desc: instruction_desc; next: instruction; arg: Reg.t array; res: Reg.t array; |