From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Tue, 31 Oct 2017 01:45:37 +0000 (-0500)
Subject: Remove include (#1298)
X-Git-Tag: cvc5-1.0.0~5521
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=43e3e0409ebb9abeb8fd89ab6da94f186c089956;p=cvc5.git

Remove include (#1298)
---

diff --git a/src/theory/sep/theory_sep_type_rules.h b/src/theory/sep/theory_sep_type_rules.h
index e9177e004..d060b44e9 100644
--- a/src/theory/sep/theory_sep_type_rules.h
+++ b/src/theory/sep/theory_sep_type_rules.h
@@ -19,8 +19,6 @@
 #ifndef __CVC4__THEORY__SEP__THEORY_SEP_TYPE_RULES_H
 #define __CVC4__THEORY__SEP__THEORY_SEP_TYPE_RULES_H
 
-#include "theory/type_enumerator.h"
-
 namespace CVC4 {
 namespace theory {
 namespace sep {