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
index 63ebbb3a3f..a7277b80cf 100644
--- 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
@@ -38,6 +38,7 @@
 import org.key_project.util.collection.ImmutableSet;
 import org.key_project.util.collection.Immutables;
 
+import org.antlr.v4.runtime.misc.ParseCancellationException;
 import org.jspecify.annotations.NonNull;
 import org.jspecify.annotations.Nullable;
 import org.slf4j.Logger;
@@ -216,6 +217,8 @@ public Includes readIncludes() throws ProofInputException {
                 KeyAst.File ctx = getParseContext();
                 includes =
                     ctx.getIncludes(file.file().getAbsoluteFile().getParentFile().toURI().toURL());
+            } catch (ParseCancellationException e) {
+                throw new ParseCancellationException(e);
             } catch (Exception e) {
                 throw new ProofInputException(e);
             }