diff --git a/src/main/java/de/prob2/jupyter/commands/LoadFileCommand.java b/src/main/java/de/prob2/jupyter/commands/LoadFileCommand.java
index 175a3a2336c06a48377409b4ec9864892487b781..fcf37a8a56a9b23114a0e10a1b7a8c44e7347482 100644
--- a/src/main/java/de/prob2/jupyter/commands/LoadFileCommand.java
+++ b/src/main/java/de/prob2/jupyter/commands/LoadFileCommand.java
@@ -17,7 +17,6 @@ import com.google.inject.Provider;
 
 import de.prob.scripting.FactoryProvider;
 import de.prob.scripting.ModelFactory;
-import de.prob.scripting.ModelTranslationError;
 import de.prob.statespace.AnimationSelector;
 import de.prob.statespace.Trace;
 import de.prob2.jupyter.Command;
@@ -106,7 +105,7 @@ public final class LoadFileCommand implements Command {
 			stateSpace.changePreferences(preferences);
 			try {
 				factory.extract(machineFilePath.toString()).loadIntoStateSpace(stateSpace);
-			} catch (final IOException | ModelTranslationError e) {
+			} catch (final IOException e) {
 				throw new RuntimeException(e);
 			}
 			return new Trace(stateSpace);