fix #3553

KeYProject · Feb 19, 2025 · 0d0b51c · 0d0b51c
1 parent c0eca77
commit 0d0b51c
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/key.core/src/main/java/de/uka/ilkd/key/proof/io/KeYFile.java b/key.core/src/main/java/de/uka/ilkd/key/proof/io/KeYFile.java
@@ -34,6 +34,7 @@
 import de.uka.ilkd.key.util.ProgressMonitor;
 import de.uka.ilkd.key.util.parsing.BuildingIssue;
 
+import org.antlr.v4.runtime.misc.ParseCancellationException;
 import org.key_project.util.collection.DefaultImmutableSet;
 import org.key_project.util.collection.ImmutableSet;
 import org.key_project.util.collection.Immutables;
@@ -216,7 +217,10 @@ public Includes readIncludes() throws ProofInputException {
                 KeyAst.File ctx = getParseContext();
                 includes =
                     ctx.getIncludes(file.file().getAbsoluteFile().getParentFile().toURI().toURL());
-            } catch (Exception e) {
+            } catch (ParseCancellationException e){
+                throw new ParseCancellationException(e);
+            }
+            catch (Exception e) {
                 throw new ProofInputException(e);
             }
         }