Fix test for CI

2024-09-20 00:41:05 +03:00 · 2022-12-13 14:09:21 +01:00 · 2022-12-13 14:09:21 +01:00 · 6906fa48d1
commit 6906fa48d1
parent 3577507ee9
1 changed files with 1 additions and 1 deletions
--- 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