Reformatted code

ftsrg · Nov 10, 2023 · 35cbbdd · 35cbbdd
1 parent 9c3b694
commit 35cbbdd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/...analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/ArgStructuralEqualityTest.java b/...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 {