From 1e06ebb8dd836a8c9c80769bc8c8cf42077a6eb5 Mon Sep 17 00:00:00 2001 From: Léo Gourdin Date: Tue, 16 Feb 2021 13:14:36 +0100 Subject: fix bug in merge --- riscV/ExpansionOracle.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'riscV/ExpansionOracle.ml') 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 = -- cgit