From 35cbbddcac8bd26ad0841b0a6ce6ebb943419255 Mon Sep 17 00:00:00 2001
From: "ThetaBotMaintainer[bot]"
 <139346997+ThetaBotMaintainer[bot]@users.noreply.github.com>
Date: Fri, 10 Nov 2023 10:40:56 +0000
Subject: [PATCH] Reformatted code

---
 .../theta/analysis/algorithm/ArgStructuralEqualityTest.java   | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/ArgStructuralEqualityTest.java b/subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/ArgStructuralEqualityTest.java
index 9544102d5e..cc79435be3 100644
--- a/subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/ArgStructuralEqualityTest.java
+++ b/subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/ArgStructuralEqualityTest.java
@@ -24,7 +24,7 @@
 import org.junit.Test;
 
 public class ArgStructuralEqualityTest {
-    
+
     private static ARG<State, Action> createArg(boolean variant) {
         ARG<State, Action> arg = ARG.create(new PartialOrdStub());
         Action act = new ActionStub("A");
@@ -38,7 +38,7 @@ private static ARG<State, Action> createArg(boolean variant) {
                 false);
         ArgNode<State, Action> s11 = arg.createSuccNode(s0, act, new StateStub("s11"),
                 true);
-        if(variant) {
+        if (variant) {
             ArgNode<State, Action> s12a = arg.createSuccNode(s0, act, new StateStub("s12a"),
                     false);
         } else {