diff --git a/compiler/minils/main/mls_compiler.ml b/compiler/minils/main/mls_compiler.ml index ab92000..8d12cc6 100644 --- a/compiler/minils/main/mls_compiler.ml +++ b/compiler/minils/main/mls_compiler.ml @@ -64,7 +64,7 @@ let maybe_ctrln_pass p = ;; ELSE -let maybe_ctrln_pass p = None +let maybe_ctrln_pass p = p ;; END