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 createArg(boolean variant) { ARG arg = ARG.create(new PartialOrdStub()); Action act = new ActionStub("A"); @@ -38,7 +38,7 @@ private static ARG createArg(boolean variant) { false); ArgNode s11 = arg.createSuccNode(s0, act, new StateStub("s11"), true); - if(variant) { + if (variant) { ArgNode s12a = arg.createSuccNode(s0, act, new StateStub("s12a"), false); } else {