fix tests

anoma · Jan 19, 2023 · 799d218 · 799d218
1 parent dff6b6c
commit 799d218
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/Internal/positive/BuiltinIf.juvix b/tests/Internal/positive/BuiltinIf.juvix
@@ -3,6 +3,6 @@ module BuiltinIf;
 open import Stdlib.Prelude;
 
 main : Bool;
-main := if false ((&&) false) ((&&) true) true;
+main := if false (and false) (and true) true;
 
 end;