fix error in expecting proof script if there is none

KeYProject · Nov 5, 2024 · bfdd8b1 · bfdd8b1
1 parent c9b9d2e
commit bfdd8b1
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/key.core/src/main/java/de/uka/ilkd/key/proof/io/AbstractProblemLoader.java b/key.core/src/main/java/de/uka/ilkd/key/proof/io/AbstractProblemLoader.java
@@ -679,12 +679,14 @@ public boolean hasProofScript() {
     }
 
     public @Nullable ProofScriptEntry readProofScript() throws ProofInputException {
-        assert envInput instanceof KeYUserProblemFile;
         KeYUserProblemFile kupf = (KeYUserProblemFile) envInput;
         return kupf.readProofScript();
     }
 
     public @Nullable ProofScriptEntry getProofScript() throws ProblemLoaderException {
+        if (!hasProofScript()) {
+            return null;
+        }
         try {
             return readProofScript();
         } catch (ProofInputException e) {