actually fix test

boogie-org · Oct 13, 2024 · c345252 · c345252
1 parent 63a1088
commit c345252
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Test/commandline/SplitOnEveryAssert.bpl b/Test/commandline/SplitOnEveryAssert.bpl
@@ -7,7 +7,7 @@
 // CHECK:      checking split 2/11 .*
 // CHECK:      checking split 3/11 .*
 // CHECK:      checking split 4/11 .*
-// CHECK:      --> split #3 done,  \[.* s\] Invalid
+// CHECK:      --> split #4 done,  \[.* s\] Invalid
 // CHECK:      checking split 5/11 .*
 // CHECK:      checking split 6/11 .*
 // CHECK:      checking split 7/11 .*