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 2b7bd509204aab9fc9d96c64fc8b547b65187ab1..ec17f81eac2b83a7eaaf7323c0fcd444c8321714 100644
--- a/de.prob.core/src/de/prob/eventb/translator/Theories.java
+++ b/de.prob.core/src/de/prob/eventb/translator/Theories.java
@@ -431,14 +431,14 @@ public class Theories {
 		pto.openTerm(functor);
 		pto.printAtom(id.getIdentifierString());
 		try {
-		   Type type = id.getType(ff);
-		   printType(type, pto);
+			Type type = id.getType(ff);
+			printType(type, pto);
 		} catch (CoreException e) {
-		   // the the checked theory files tcf no longer contain the type paras
-		   // 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");
+			// the the checked theory files tcf no longer contain the type paras
+			// 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.closeTerm();
 	}