From 96e117d78cfb3a391d77fe954629b34e6196b66d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 12 Oct 2021 17:10:12 -0700
Subject: [PATCH] Update smt_context.cpp

---
 src/smt/smt_context.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index 87f21e660..ee3341e43 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -1546,6 +1546,7 @@ namespace smt {
 
     void context::get_specrels(func_decl_set& rels) const {
         family_id fid = m.get_family_id("specrels");
+        theory* th = get_theory(fid);
         if (th)
             dynamic_cast<theory_special_relations*>(th)->get_specrels(rels);
     }