Prevent second reading of declarations in KeYUserProblemFile

The file local declarations are already parsed by readEnvInput in ProblemInitializaer.
KeYProject · Nov 21, 2023 · 174ae11 · 174ae11
1 parent 63c0e87
commit 174ae11
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/key.core/src/main/java/de/uka/ilkd/key/proof/init/KeYUserProblemFile.java b/key.core/src/main/java/de/uka/ilkd/key/proof/init/KeYUserProblemFile.java
@@ -128,10 +128,6 @@ public void readProblem() throws ProofInputException {
             throw new IllegalStateException("KeYUserProblemFile: InitConfig not set.");
         }
 
-        readSorts();
-        readFuncAndPred();
-        readRules();
-
         try {
             problem = getProblemFinder().getProblem();
             if (problem == null) {