diff --git a/de.prob.core/src/de/prob/eventb/translator/Theories.java b/de.prob.core/src/de/prob/eventb/translator/Theories.java index e08766b1a42149a82da61ea83eb22a2035e4f323..499958e35518b32e799274d8e064d305ab0def16 100644 --- a/de.prob.core/src/de/prob/eventb/translator/Theories.java +++ b/de.prob.core/src/de/prob/eventb/translator/Theories.java @@ -443,10 +443,10 @@ public class Theories { // the tcf file now contains org.eventb.theory.core.type="Baum" // getType would lead to a CoreException // we print the type of the recursive data type directly - printTypeOfDataType(def,ff,pto); + printTypeOfDataType(def,ff,pto); } else { - Type type = id.getType(ff); - printType(type, pto); + Type type = id.getType(ff); + printType(type, pto); } pto.closeTerm(); }