Fix null pointer exception

jplag · Jul 15, 2023 · 368b539 · 368b539
1 parent d924271
commit 368b539
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/core/src/main/java/de/jplag/Submission.java b/core/src/main/java/de/jplag/Submission.java
@@ -271,6 +271,8 @@ private static File createErrorDirectory(String... subdirectoryNames) {
      * statement reordering.
      */
     void normalize() {
+        if (tokenList == null)
+            return;
         List<Integer> originalOrder = getOrder(tokenList);
         TokenStringNormalizer.normalize(tokenList);
         List<Integer> normalizedOrder = getOrder(tokenList);