From 6f49d63faeac9f45980e2c638225019d930a4b6c Mon Sep 17 00:00:00 2001
From: Grigorii Kirgizov <grigorii.kirgizov@jetbrains.com>
Date: Sun, 1 Mar 2020 16:59:39 +0300
Subject: [PATCH] Remove throwing NPE on Term.symbol() given updated NotNull
 contract

---
 .../src/jetbrains/mps/logic/reactor/util/ClassicTermTrie.kt     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/util/ClassicTermTrie.kt b/reactor/Core/src/jetbrains/mps/logic/reactor/util/ClassicTermTrie.kt
index 4dab8c4a..835421b5 100644
--- 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()
         }
     }