diff options
author | Son Ho | 2023-01-05 23:53:38 +0100 |
---|---|---|
committer | Son HO | 2023-02-03 11:21:46 +0100 |
commit | 852ee63cb876d419d4830eb5192604d58b07b495 (patch) | |
tree | b610c7483ecc5471c84917e56e96c1d0d870b259 /compiler/Translate.ml | |
parent | 23ceb23847f2a5cd568278a47015f4d220f138c5 (diff) |
Fix an issue in translate_forward_end
Diffstat (limited to '')
-rw-r--r-- | compiler/Translate.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/Translate.ml b/compiler/Translate.ml index 10a37770..800bac00 100644 --- a/compiler/Translate.ml +++ b/compiler/Translate.ml @@ -127,6 +127,7 @@ let translate_function_to_pure (trans_ctx : trans_ctx) SymbolicToPure.bid = None; (* Dummy for now *) sg = forward_sig.sg; + fwd_sg = forward_sig.sg; (* Will need to be updated for the backward functions *) sv_to_var; var_counter; |