remove redundant includes (#3815)

I came across these two redundant includes in theory_uf.h and removed them.

diff --git a/src/theory/uf/theory_uf.h b/src/theory/uf/theory_uf.h
index dd69b2ee23ee965e0795f8d023883d0a63877e66..93a709fe59bd00e5fd4456d127d5900483330342 100644 (file)
--- a/src/theory/uf/theory_uf.h
+++ b/src/theory/uf/theory_uf.h
@@ -20,8 +20,6 @@
 #ifndef CVC4__THEORY__UF__THEORY_UF_H
 #define CVC4__THEORY__UF__THEORY_UF_H
 
-#include "context/cdhashmap.h"
-#include "context/cdhashset.h"
 #include "context/cdo.h"
 #include "expr/node.h"
 #include "expr/node_trie.h"
@@ -38,8 +36,6 @@ class HoExtension;
 
 class TheoryUF : public Theory {
 
-  typedef context::CDHashSet<Node, NodeHashFunction> NodeSet;
-  typedef context::CDHashMap<Node, Node, NodeHashFunction> NodeNodeMap;
 public:
 
   class NotifyClass : public eq::EqualityEngineNotify {