diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java
index ad5ce0c860f18ecc879d0553f0c6bfe1fb2252c2..df6ee7126e8580779e203c0835ebc3cb6ac15d99 100644
--- a/src/main/java/de/tla2bAst/Translator.java
+++ b/src/main/java/de/tla2bAst/Translator.java
@@ -17,6 +17,7 @@ import de.be4.classicalb.core.parser.BParser;
 import de.be4.classicalb.core.parser.Definitions;
 import de.be4.classicalb.core.parser.analysis.prolog.RecursiveMachineLoader;
 import de.be4.classicalb.core.parser.exceptions.BCompoundException;
+import de.be4.classicalb.core.parser.exceptions.PreParseException;
 import de.be4.classicalb.core.parser.node.Node;
 import de.be4.classicalb.core.parser.node.Start;
 import de.tla2b.analysis.InstanceTransformation;
@@ -280,7 +281,7 @@ public class Translator implements TranslationGlobals {
 			outWriter.close();
 			System.out.println(probFile.getAbsolutePath() + " created.");
 
-		} catch (BCompoundException | FileNotFoundException | UnsupportedEncodingException e) {
+		} catch (BCompoundException | FileNotFoundException | PreParseException | UnsupportedEncodingException e) {
 			System.err.println(e.getMessage());
 			System.exit(-1);
 		}