diff --git a/src/muz/rel/udoc_relation.cpp b/src/muz/rel/udoc_relation.cpp
index 23f3a55f6..c527a9dba 100644
--- a/src/muz/rel/udoc_relation.cpp
+++ b/src/muz/rel/udoc_relation.cpp
@@ -948,7 +948,6 @@ namespace datalog {
 #if 0
         udoc_plugin::join_fn   m_joiner;
 #endif
-        union_find_default_ctx union_ctx;
         bit_vector             m_to_delete; 
 
     public: