Merge pull request #621 from charlestian23/puzzle_editor-short_truth_…

…table Fixed a bug where file wouldn't save due to batch grader updates
Bram-Hub · Sep 29, 2023 · 3530840 · 3530840
2 parents de9f1c5 + 8ffad4f
commit 3530840
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/main/java/edu/rpi/legup/model/Puzzle.java b/src/main/java/edu/rpi/legup/model/Puzzle.java
@@ -220,6 +220,9 @@ public boolean isValidTextInput(String[] statements) {
      * @return true if the board was solved correctly, false otherwise
      */
     public boolean isPuzzleComplete() {
+        if (tree == null)
+            return false;
+
         boolean isComplete = tree.isValid();
         if (isComplete) {
             for (TreeElement leaf : tree.getLeafTreeElements()) {