diff options
-rw-r--r-- | riscV/ExpansionOracle.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscV/ExpansionOracle.ml b/riscV/ExpansionOracle.ml index fa05d318..1e40b492 100644 --- a/riscV/ExpansionOracle.ml +++ b/riscV/ExpansionOracle.ml @@ -353,7 +353,7 @@ let write_initial_node initial code' new_order = let write_pathmap initial esize pm' = let path = get_some @@ PTree.get initial !pm' in let npsize = Camlcoq.Nat.of_int (esize + (Camlcoq.Nat.to_int path.psize)) in - let path' = { psize = npsize; input_regs = path.input_regs; output_regs = path.output_regs } in + let path' = { psize = npsize; input_regs = path.input_regs; pre_output_regs = path.pre_output_regs; output_regs = path.output_regs } in pm' := PTree.set initial path' !pm' let rec write_tree exp current code' new_order = |