projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: a5c79c9)
Remove include (#1298)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 31 Oct 2017 01:45:37 +0000 (20:45 -0500)
committerGitHub <noreply@github.com>
Tue, 31 Oct 2017 01:45:37 +0000 (20:45 -0500)
src/theory/sep/theory_sep_type_rules.h patch | blob | history

diff --git a/src/theory/sep/theory_sep_type_rules.h b/src/theory/sep/theory_sep_type_rules.h
index e9177e004039c28ac3448854a7f01891d4738f3a..d060b44e9c0ef0f4fadabbf0ca27745f1bf34c65 100644 (file)
--- 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 {