Fix indents

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

@@ -377,8 +377,7 @@ public class Theories {
 		prologOutput.printAtom(indArg);
 		prologOutput.openList();
 		if (ex == null) {
-		    throw new IllegalStateException("Empty expression for axiomatic recursive definition case " + es +
-		                        " and inductive argument " + indArg);
+			throw new IllegalStateException("Empty expression for axiomatic recursive definition case " + es + " and inductive argument " + indArg);
 		} else {
 			for (FreeIdentifier fi : ex.getFreeIdentifiers()) {
 				prologOutput.printAtom(fi.getName());