diff options
Diffstat (limited to 'src/Assembly/AlmostConversion.v')
| -rw-r--r-- | src/Assembly/AlmostConversion.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Assembly/AlmostConversion.v b/src/Assembly/AlmostConversion.v index 6d2fa1b50..339a36bbc 100644 --- a/src/Assembly/AlmostConversion.v +++ b/src/Assembly/AlmostConversion.v @@ -17,7 +17,7 @@ Module AlmostConversion <: Conversion AlmostQhasm Qhasm. | AOp a => [ QOp a ] | ACond c a b => let tru := N.to_nat (N.shiftl 1 label0) in - let finish := S tru in + let finish := S tru [QJmp c tru] ++ (almostToQhasm' b label1) ++ [QJmp TestTrue finish] ++ |