From 174ae11ad8d0ed67a5759963f8093197c664f7b8 Mon Sep 17 00:00:00 2001 From: Richard Bubel Date: Tue, 21 Nov 2023 14:53:19 +0100 Subject: [PATCH] Prevent second reading of declarations in KeYUserProblemFile The file local declarations are already parsed by readEnvInput in ProblemInitializaer. --- .../java/de/uka/ilkd/key/proof/init/KeYUserProblemFile.java | 4 ---- 1 file changed, 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 index 0f8d8ff8734..be3786b1604 100644 --- 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) {