Fix test expect file

boogie-org · Oct 22, 2024 · 4b5ff94 · 4b5ff94
1 parent 714d47f
commit 4b5ff94
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Test/implementationDivision/isolateJump/isolateJump.bpl.expect b/Test/implementationDivision/isolateJump/isolateJump.bpl.expect
@@ -52,7 +52,7 @@ implementation IsolateReturn/return@16(x: int, y: int) returns (r: int)
 }
 
 
-isolateJump.bpl(20,1): Error: a postcondition could not be proved on this return path
+isolateJump.bpl(16,21): Error: a postcondition could not be proved on this return path
 isolateJump.bpl(5,3): Related location: this is the postcondition that could not be proved
 implementation IsolateReturnPaths(x: int, y: int) returns (r: int)
 {