diff options
Diffstat (limited to 'src/smt/logic_request.h')
-rw-r--r-- | src/smt/logic_request.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/logic_request.h b/src/smt/logic_request.h index 3210de7b1..4e8dcce6c 100644 --- a/src/smt/logic_request.h +++ b/src/smt/logic_request.h @@ -26,7 +26,7 @@ #ifndef CVC4__LOGIC_REQUEST_H #define CVC4__LOGIC_REQUEST_H -#include "expr/kind.h" +#include "theory/theory_id.h" namespace CVC4 { |