From 8a1adfb37d2cf295d8caed1dfdd4f7475bb19283 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 4 Jun 2024 17:42:46 +0200
Subject: Update charon

---
 tests/lean/Arrays.lean | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'tests/lean/Arrays.lean')

diff --git a/tests/lean/Arrays.lean b/tests/lean/Arrays.lean
index c2c3ac90..9748919e 100644
--- a/tests/lean/Arrays.lean
+++ b/tests/lean/Arrays.lean
@@ -384,9 +384,9 @@ divergent def sum2_loop
 def sum2 (s : Slice U32) (s2 : Slice U32) : Result U32 :=
   let i := Slice.len U32 s
   let i1 := Slice.len U32 s2
-  if ¬ (i = i1)
-  then Result.fail .panic
-  else sum2_loop s s2 0#u32 0#usize
+  if i = i1
+  then sum2_loop s s2 0#u32 0#usize
+  else Result.fail .panic
 
 /- [arrays::f0]:
    Source: 'tests/src/arrays.rs', lines 266:0-266:11 -/
-- 
cgit v1.2.3

