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..c1e0f28708 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
@@ -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);
             }
         }