Merge branch 'dev' into puzzle_editor-short_truth_table

Bram-Hub · Apr 26, 2023 · beb60a2 · beb60a2
2 parents 20e565c e8704f9
commit beb60a2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/java/edu/rpi/legup/puzzle/lightup/rules/SatisfyNumberCaseRule.java b/src/main/java/edu/rpi/legup/puzzle/lightup/rules/SatisfyNumberCaseRule.java
@@ -181,8  181,8 @@ public String checkRuleRaw(TreeTransition transition) {
         for (LightUpCell c : spots) {
             ArrayList<Board> cases = getCases(parent.getBoard(), c);
 
-            // We want to return false if cases.size() is equal to 1 because case rules aren't supposed to have only 1 option
-            if (cases.size() == childTransitions.size() && cases.size() > 1) {
             // We will allow case rules to have only one option
             if (cases.size() == childTransitions.size() && cases.size() >= 1) {
                 boolean foundSpot = true;
                 for (TreeTransition childTrans : childTransitions) {
                     LightUpBoard actCase = (LightUpBoard) childTrans.getBoard();