diff --git a/flap/src/x86-64/retrolixToX86_64.ml b/flap/src/x86-64/retrolixToX86_64.ml index d1196d1..bd3366c 100644 --- a/flap/src/x86-64/retrolixToX86_64.ml +++ b/flap/src/x86-64/retrolixToX86_64.ml @@ -468,7 +468,7 @@ module InstructionSelector : InstructionSelector = struct let sub ~dst ~srcl ~srcr = (* Soustraction *) - move_execute subq ~dst ~srcl ~srcr + move_execute subq ~dst ~srcl:srcr ~srcr:srcl ;; let mul ~dst ~srcl ~srcr =