spotlessing ...

KeYProject · Jul 7, 2024 · ea0879b · ea0879b
1 parent dc486e4
commit ea0879b
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 8 deletions.
diff --git a/key.core/src/main/java/de/uka/ilkd/key/proof/io/OutputStreamProofSaver.java b/key.core/src/main/java/de/uka/ilkd/key/proof/io/OutputStreamProofSaver.java
@@ -209,7 +209,7 @@ public void save(OutputStream out) throws IOException {
                 }
                 final Sequent problemSeq = proof.root().sequent();
                 ps.println("\\problem {");
-                if(problemSeq.antecedent().isEmpty() && problemSeq.succedent().size() == 1) {
+                if (problemSeq.antecedent().isEmpty() && problemSeq.succedent().size() == 1) {
                     // Problem statement is a single formula ...
                     printer.printSemisequent(problemSeq.succedent());
                 } else {

diff --git a/key.core/src/test/java/de/uka/ilkd/key/proof/io/ProofSaverTest.java b/key.core/src/test/java/de/uka/ilkd/key/proof/io/ProofSaverTest.java
@@ -1,18 +1,20 @@
+/* This file is part of KeY - https://key-project.org
+ * KeY is licensed under the GNU General Public License Version 2
+ * SPDX-License-Identifier: GPL-2.0-only */
 package de.uka.ilkd.key.proof.io;
 
+import java.io.File;
+import java.io.IOException;
+
 import de.uka.ilkd.key.java.Services;
 import de.uka.ilkd.key.logic.Sequent;
 import de.uka.ilkd.key.nparser.KeyIO;
 import de.uka.ilkd.key.proof.Proof;
 import de.uka.ilkd.key.proof.init.AbstractProfile;
 import de.uka.ilkd.key.proof.init.InitConfig;
 import de.uka.ilkd.key.rule.TacletForTests;
-import de.uka.ilkd.key.util.KeYConstants;
-import org.jspecify.annotations.Nullable;
-import org.junit.jupiter.api.Test;
 
-import java.io.File;
-import java.io.IOException;
+import org.junit.jupiter.api.Test;
 
 import static org.junit.jupiter.api.Assertions.*;
 
@@ -24,7 +26,7 @@ void testSaveProblemToFile(String content) throws IOException {
         KeyIO.Loader loader = io.load(content);
         Sequent seq = loader.parseFile().loadProblem().getProblem();
         final InitConfig initConfig =
-                new InitConfig(new Services(AbstractProfile.getDefaultProfile()));
+            new InitConfig(new Services(AbstractProfile.getDefaultProfile()));
         Proof proof = new Proof("test", seq, "", initConfig, null);
         File file = File.createTempFile("proofSaveTest", ".key");
         file.deleteOnExit();
@@ -49,4 +51,4 @@ void saveSequentProblemToFile() throws IOException {
         String content = "\\problem { true, false ==> false, false }";
         testSaveProblemToFile(content);
     }
-}
+}