From 643dc319b78a3c8494f422cad9d4a9fba648e0c6 Mon Sep 17 00:00:00 2001
From: Richard Bubel <bubel@cs.tu-darmstadt.de>
Date: Sat, 25 Jul 2026 11:32:06 +0200
Subject: [PATCH] Fix --auto on CLI

---
 .../src/main/java/de/uka/ilkd/key/proof/io/ProofSaver.java    | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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();
     }