diff --git a/src/test/java/puzzles/shorttruthtable/rules/OrIntroductionTest.java b/src/test/java/puzzles/shorttruthtable/rules/OrIntroductionTest.java index dae0e95a1..5088c7889 100644 --- a/src/test/java/puzzles/shorttruthtable/rules/OrIntroductionTest.java +++ b/src/test/java/puzzles/shorttruthtable/rules/OrIntroductionTest.java @@ -72,9 +72,11 @@ private void trueOrTestHelper(String filePath) throws InvalidFileFormatException public void FalseOrTest() throws InvalidFileFormatException { String path = "puzzles/shorttruthtable/rules/OrIntroductionDirectRule/"; String[] letters = {"T", "F", "U"}; - for (String first : letters) - for (String second : letters) + for (String first : letters) { + for (String second : letters) { falseOrTestHelper(path + first + "U" + second); + } + } }