From 6906fa48d13a2fc3fffd04c4d2071520294133f8 Mon Sep 17 00:00:00 2001
From: Denis Merigoux <denis.merigoux@gmail.com>
Date: Tue, 13 Dec 2022 14:09:21 +0100
Subject: [PATCH] Fix test for CI

---
 tests/test_func/good/closure_conversion.catala_en | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/test_func/good/closure_conversion.catala_en b/tests/test_func/good/closure_conversion.catala_en
index 1cbeb237..da378e64 100644
--- a/tests/test_func/good/closure_conversion.catala_en
+++ b/tests/test_func/good/closure_conversion.catala_en
@@ -20,7 +20,7 @@ let S =
       let S : (bool) → integer → integer =
         λ (env: (bool)) (param: integer) →
           let x1 : bool = env.0 in
-          if x1 then param else - param in
+          if x1 then param else -! param in
       (S, (x)) in
     let z : integer =
       let code_and_env : ((bool) → integer → integer * (bool)) = f in