diff options
author | Son Ho | 2023-12-21 15:25:06 +0100 |
---|---|---|
committer | Son Ho | 2023-12-21 15:25:06 +0100 |
commit | d9f91cfcd538525f024c6019d7c8250dda8d76fd (patch) | |
tree | 511db3d6ab5036f0de1b665ff22923d9a068f41a /compiler/PureMicroPasses.ml | |
parent | 435fe4cf63869448e2b25486b564ede9efa9a34b (diff) |
Remove some asserts which are now useless
Diffstat (limited to '')
-rw-r--r-- | compiler/PureMicroPasses.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/compiler/PureMicroPasses.ml b/compiler/PureMicroPasses.ml index 34597d32..63436e7d 100644 --- a/compiler/PureMicroPasses.ml +++ b/compiler/PureMicroPasses.ml @@ -1337,9 +1337,6 @@ let decompose_loops (_ctx : trans_ctx) (def : fun_decl) : let fwd_info = fun_sig.fwd_info in let fwd_effect_info = fwd_info.effect_info in - (* TODO: *) - assert (not !Config.return_back_funs); - (* Generate the loop definition *) let loop_fwd_effect_info = fwd_effect_info in |