Fix line number in proof replay errors

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);
     }
 
     /**