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 bd7653d64298eb10139680567384773cfc8831ea..2b7bd509204aab9fc9d96c64fc8b547b65187ab1 100644 --- a/de.prob.core/src/de/prob/eventb/translator/Theories.java +++ b/de.prob.core/src/de/prob/eventb/translator/Theories.java @@ -438,7 +438,7 @@ public class Theories { // the tuf file may contain org.eventb.theory.core.type="Baum(L)" // the tcf file now contains org.eventb.theory.core.type="Baum" // as one cannot adapt the type parameters inside an inductive type definition - pto.printAtom("default_type_parameters") + pto.printAtom("default_type_parameters"); } pto.closeTerm(); }