diff --git a/de.prob.core/src/de/prob/core/ProblemHandler.java b/de.prob.core/src/de/prob/core/ProblemHandler.java
index eec93aba92b74adf20f000d7d79f426cf70facdc..e2167068e7cfb4b05a4bc29f3ae987e1a2286569 100644
--- a/de.prob.core/src/de/prob/core/ProblemHandler.java
+++ b/de.prob.core/src/de/prob/core/ProblemHandler.java
@@ -68,13 +68,13 @@ public class ProblemHandler {
 	public static void raisePrologException(final List<String> errors,
 			final boolean onlyWarnings) throws PrologException {
 		final String message = "ProB reported "
-		        + ((onlyWarnings) ? "warnings:\n" :  "errors:\n")
+				+ ((onlyWarnings) ? "warnings:\n" :  "errors:\n")
 				+ String.join("\n", errors);
 		Logger.notifyUser(message);
 		if (! onlyWarnings) {
-		   throw new PrologException(message, onlyWarnings);
-		   // if we throw the exception for warnings then the command will fail
-		   // this will prevent e.g. animating machines with static check warnings
+			throw new PrologException(message, onlyWarnings);
+			// if we throw the exception for warnings then the command will fail
+			// this will prevent e.g. animating machines with static check warnings
 		}
 	}