Skip to content
Snippets Groups Projects
Commit 1e9ec5fb authored by dgelessus's avatar dgelessus
Browse files

Remove no longer needed handling of ModelTranslationError

ProB 2 now always throws ProBError for parse errors and
ModelTranslationError is no longer used.
parent d29520a3
No related branches found
No related tags found
No related merge requests found
Pipeline #57945 failed
......@@ -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);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment