From f9602c8bbfdf4dd59de4fd0ee0c410ccea63035a Mon Sep 17 00:00:00 2001
From: Grigorii Kirgizov <grigorii.kirgizov@jetbrains.com>
Date: Tue, 11 Feb 2020 20:22:08 +0300
Subject: [PATCH] Throw on null terms in term trie (relates to MPSCR-40)

For more clear errors stemming from usage of constraints with null values, which ain't handled
---
 .../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 835421b5..4dab8c4a 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()
+            term.symbol() ?: throw NullPointerException("term symbol can't be null")
         }
     }