Remove throwing NPE on Term.symbol() given updated NotNull contract

2020-03-01 16:59:39 +03:00 · 2020-03-01 16:59:39 +03:00 · 6f49d63fae
parent 2ec4abe860
commit 6f49d63fae
1 changed files with 1 additions and 1 deletions
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/util/ClassicTermTrie.kt
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/util/ClassicTermTrie.kt
@ -147,7 +147,7 @@ class ClassicTermTrie<T> : TermTrie<T> {
            WILDCARD

        } else {
-            term.symbol() ?: throw NullPointerException("term symbol can't be null")
+            term.symbol()
        }
    }