diff options
| author | Son Ho | 2023-12-19 13:24:53 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-19 13:24:53 +0100 |
| commit | 014c0668abf0834342b2b7076cf2f0634460e519 (patch) | |
| tree | 6138b3901e627918d4a75f8c02a590facbec0060 /compiler/Translate.ml | |
| parent | 4f7bc41dcbc6187512111a81f968726452024d25 (diff) | |
Remove SymbolicToPure.bs_ctx.loop_backward_outputs
Diffstat (limited to '')
| -rw-r--r-- | compiler/Translate.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/Translate.ml b/compiler/Translate.ml index 0fa0202b..631a5af9 100644 --- a/compiler/Translate.ml +++ b/compiler/Translate.ml @@ -172,7 +172,6 @@ let translate_function_to_pure (trans_ctx : trans_ctx) (* Initialized just below *) backward_inputs_with_state = RegionGroupId.Map.empty; backward_outputs = None; - loop_backward_outputs = None; (* Empty for now *) calls; abstractions; |