diff options
Diffstat (limited to 'src/theory/logic_info.h')
| -rw-r--r-- | src/theory/logic_info.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/logic_info.h b/src/theory/logic_info.h index f048e9e90..fe6d1cf62 100644 --- a/src/theory/logic_info.h +++ b/src/theory/logic_info.h @@ -23,7 +23,8 @@ #include <string> #include <vector> -#include "expr/kind.h" + +#include "theory/theory_id.h" namespace CVC4 { |