From 1762d08c937129900e5a1605b320b1edd64dc639 Mon Sep 17 00:00:00 2001 From: yoni206 Date: Tue, 25 Feb 2020 07:23:30 -0800 Subject: [PATCH] remove redundant includes (#3815) I came across these two redundant includes in theory_uf.h and removed them. --- src/theory/uf/theory_uf.h | 4 ---- 1 file changed, 4 deletions(-) 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 NodeSet; - typedef context::CDHashMap NodeNodeMap; public: class NotifyClass : public eq::EqualityEngineNotify { -- 2.30.2