From 2a0927bd98d111c1a1979a3d534b24c2447618f4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= Date: Mon, 1 Dec 2014 14:44:08 +0100 Subject: [PATCH] Bug correction in maybe_ctrln_pass --- compiler/minils/main/mls_compiler.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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