Fix a NPE

JetBrains · May 22, 2024 · f0056ef · f0056ef
1 parent b3cb899
commit f0056ef
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/base/src/main/java/org/arend/term/concrete/ConcreteCompareVisitor.java b/base/src/main/java/org/arend/term/concrete/ConcreteCompareVisitor.java
@@ -57,6 +57,7 @@ public Boolean visitReference(Concrete.ReferenceExpression expr1, Concrete.Expre
 
   private boolean compareLevels(List<Concrete.LevelExpression> levels1, List<Concrete.LevelExpression> levels2) {
     if (levels1 == null) return levels2 == null;
+    if (levels2 == null) return false;
     if (levels1.size() != levels2.size()) return false;
     for (int i = 0; i < levels1.size(); i++) {
       if (!compareLevel(levels1.get(i), levels2.get(i))) return false;