From 7f551c15255595124b3ba6f696e132802cbb5db6 Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@posteo.de>
Date: Fri, 8 Sep 2023 10:37:52 +0200
Subject: [PATCH] Fix line number in proof replay errors

---
 .../src/main/java/de/uka/ilkd/key/nparser/ProofReplayer.java    | 2 +-
 1 file changed, 1 insertion(+), 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
index 11522dc0664..376cfa76a88 100644
--- 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);
     }
 
     /**