diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-10-30 20:45:37 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-30 20:45:37 -0500 |
| commit | 43e3e0409ebb9abeb8fd89ab6da94f186c089956 (patch) | |
| tree | 7eee8f9e465697aa26a236057ef5fa1510580c06 /src/theory/sep | |
| parent | a5c79c991506610e47a8f503a2b775aa4b5fa63f (diff) | |
Remove include (#1298)
Diffstat (limited to 'src/theory/sep')
| -rw-r--r-- | src/theory/sep/theory_sep_type_rules.h | 2 |
1 files changed, 0 insertions, 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 { |