summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1997-03-07 15:32:26 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1997-03-07 15:32:26 +0000
commit6a0ea6385b1fbd656d9a1e3848f00f7fe5bdc13a (patch)
tree7a00d55526230a2f4c1e8f562f65dcdb70a865c3
parentad9d4ea024eb605eae15c04164c28a2ebc157e0e (diff)
Rendre desc mutable pour certains emetteurs de code (emit_hppa)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--asmcomp/linearize.ml2
-rw-r--r--asmcomp/linearize.mli2
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;