From c2a24c003a853c824f868b74725ba342ad1858ea Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 9 Jan 2024 10:44:23 +0100
Subject: [PATCH] Fix indent
---
de.prob.core/src/de/prob/core/internal/AnimatorImpl.java | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/de.prob.core/src/de/prob/core/internal/AnimatorImpl.java b/de.prob.core/src/de/prob/core/internal/AnimatorImpl.java
index 29ff74fc..d029a97b 100644
--- a/de.prob.core/src/de/prob/core/internal/AnimatorImpl.java
+++ b/de.prob.core/src/de/prob/core/internal/AnimatorImpl.java
@@ -162,10 +162,10 @@ public class AnimatorImpl {
assert !(topnode instanceof ACallBackResult);
if (!(topnode instanceof AYesResult)) {
- if (query.length() > 400) {
- throw new ResultParserException("Prolog query failed - received " + topnode.getClass().getSimpleName() + " in response to query: " + query.substring(0, 400), null);
+ if (query.length() > 400) {
+ throw new ResultParserException("Prolog query failed - received " + topnode.getClass().getSimpleName() + " in response to query: " + query.substring(0, 400), null);
} else {
- throw new ResultParserException("Prolog query failed - received " + topnode.getClass().getSimpleName() + " in response to query: " + query, null);
+ throw new ResultParserException("Prolog query failed - received " + topnode.getClass().getSimpleName() + " in response to query: " + query, null);
}
}
bindings = BindingGenerator.createBinding(PrologTermGenerator.toPrologTerm(topnode));
--
GitLab