Fix nulls on exhaustiveness check

runtimeverification · Mar 1, 2024 · 485a682 · 485a682
1 parent 8fa81a3
commit 485a682
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/matching/src/main/scala/org/kframework/backend/llvm/matching/Matrix.scala b/matching/src/main/scala/org/kframework/backend/llvm/matching/Matrix.scala
@@ -1084,8 +1084,8 @@ class Matrix private (
       val k          = fringe.zip(counterexample.get).map(t => t._2.toK(t._1))
       val func       = KApply(symlib.koreToK(name), KList(k))
       val attributes = symlib.signatures(name)._3
-      val location   = Parser.location(attributes).orElse(null)
-      val source     = Parser.source(attributes).orElse(null)
+      val location   = Parser.location(attributes)
+      val source     = Parser.source(attributes)
 
       kem(
         new MatchingException(