From 43e3e0409ebb9abeb8fd89ab6da94f186c089956 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Mon, 30 Oct 2017 20:45:37 -0500 Subject: [PATCH] Remove include (#1298) --- src/theory/sep/theory_sep_type_rules.h | 2 -- 1 file changed, 2 deletions(-) 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 { -- 2.30.2