Merge branch 'develop' of github.com:bendisposto/prob into feature/units

de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java

@@ -69,7 +69,6 @@ public final class ContextTranslator extends AbstractComponentTranslator {
 			throws TranslationFailedException {
 		ContextTranslator contextTranslator = new ContextTranslator(context);
 		try {
-			(new TheoryTranslator()).translate();
 			contextTranslator.translate();
 		} catch (RodinDBException e) {
 			final String message = "A Rodin exception occured during translation process. Possible cause: building aborted or still in progress. Please wait until building has finished before starting ProB. If this does not help, perform a clean and start ProB after building has finished. Original Exception: ";