From 2b3184da005e42992cc22a548002426f7b5fda73 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 24 Feb 2025 13:51:04 +0100
Subject: [PATCH] Fix indents
---
de.prob.core/src/de/prob/core/ProblemHandler.java | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/de.prob.core/src/de/prob/core/ProblemHandler.java b/de.prob.core/src/de/prob/core/ProblemHandler.java
index eec93aba..e2167068 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
}
}
--
GitLab