Fixed CI test

dafny-lang · Jan 16, 2025 · d0ad506 · d0ad506
1 parent cd8b320
commit d0ad506
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/arc/tokiouser.dfy.expect b/Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/arc/tokiouser.dfy.expect
@@ -1,3 +1,3 @@
 
-Dafny program verifier finished with 1 verified, 0 errors
+Dafny program verifier finished with 2 verified, 0 errors
 The two lists, which are the tail of the same list but treated in different threads, are the same!