Test

anoma · Oct 5, 2023 · 28fcb36 · 28fcb36
1 parent 0146fe2
commit 28fcb36
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/Test.juvix b/test/Test.juvix
@@ -16,7 +16,7 @@ import Test.QuickCheckTest as QC;
 import Test.Arb as QC;
 
 prop-reverseDoesNotChangeLength : List Int -> Bool
-  | xs := length (reverse xs) Nat.== length xs;
+  | xs := length (reverse xs) == length xs;
 
 prop-reverseReverseIsIdentity : List Int -> Bool
   | xs := eqListInt xs (reverse (reverse xs));