From abbb05db685fa8cfce314e3e8684a458ae903078 Mon Sep 17 00:00:00 2001 From: Daniel Plagge <plagge@cs.uni-duesseldorf.de> Date: Wed, 19 Dec 2012 12:54:38 +0100 Subject: [PATCH] Removen unnecessary call to the theory translation --- .../src/de/prob/eventb/translator/ContextTranslator.java | 1 - 1 file changed, 1 deletion(-) diff --git a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java b/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java index 27c3e2e8..425266e8 100644 --- a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java +++ b/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: "; -- GitLab