Fix line number in proof replay errors

KeYProject · Sep 8, 2023 · 2eb3cc2 · 2eb3cc2
1 parent b8154bf
commit 2eb3cc2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/key.core/src/main/java/de/uka/ilkd/key/nparser/ProofReplayer.java b/key.core/src/main/java/de/uka/ilkd/key/nparser/ProofReplayer.java
@@ -56,7 +56,7 @@ private ProofReplayer() {
     public static void run(@Nonnull Token token, CharStream input, IProofFileParser prl,
             URI source) {
         input.seek(1 + token.getStopIndex()); // ends now on \proof|
-        run(input, prl, token.getLine(), source);
+        run(input, prl, token.getLine() - 1, source);
     }
 
     /**