diff --git a/key.core/src/main/java/de/uka/ilkd/key/proof/io/ProofSaver.java b/key.core/src/main/java/de/uka/ilkd/key/proof/io/ProofSaver.java
index 8017ee41a75..bf3a7eb2c06 100644
--- a/key.core/src/main/java/de/uka/ilkd/key/proof/io/ProofSaver.java
+++ b/key.core/src/main/java/de/uka/ilkd/key/proof/io/ProofSaver.java
@@ -33,10 +33,10 @@ public class ProofSaver extends OutputStreamProofSaver {
      * @throws IOException on any I/O error
      */
     public static void saveToFile(File file, Proof proof) throws IOException {
-        saveProofObligationToFile(file.toPath(), proof);
+        saveToFile(file.toPath(), proof);
     }
 
-    public static void saveToFile(Path file, Proof proof) throws IOException {
+    public static void saveToFile(Path file, Proof proof) {
         ProofSaver saver = new ProofSaver(proof, file);
         saver.save();
     }