diff options
Diffstat (limited to '')
-rw-r--r-- | compiler/Config.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Config.ml b/compiler/Config.ml index 0b8ee574..cc80e452 100644 --- a/compiler/Config.ml +++ b/compiler/Config.ml @@ -266,7 +266,7 @@ let unfold_monadic_let_bindings = ref false we later filter the useless *forward* calls in the micro-passes, where it is more natural to do. - See the comments for {!Aeneas.PureMicroPasses.expression_contains_child_call_in_all_paths} + See the comments for {!val:PureMicroPasses.expression_contains_child_call_in_all_paths} for additional explanations. *) let filter_useless_monadic_calls = ref true |