From: yoni206 <yoni206@users.noreply.github.com>
Date: Tue, 25 Feb 2020 15:23:30 +0000 (-0800)
Subject: remove redundant includes (#3815)
X-Git-Tag: cvc5-1.0.0~3607
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1762d08c937129900e5a1605b320b1edd64dc639;p=cvc5.git

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 dd69b2ee2..93a709fe5 100644
--- 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 {