1 files changed, 5 insertions, 2 deletions
diff --git a/src/theory/logic_info.cpp b/src/theory/logic_info.cpp
index 1df304061..15600fefc 100644
--- a/src/theory/logic_info.cpp
+++ b/src/theory/logic_info.cpp
@@ -15,14 +15,17 @@
  ** A class giving information about a logic (group of theory modules and
  ** configuration information).
  **/
+#include "theory/logic_info.h"
 
 #include <string>
 #include <cstring>
 #include <sstream>
 
+#include "base/cvc4_assert.h"
 #include "expr/kind.h"
-#include "theory/logic_info.h"
-#include "util/cvc4_assert.h"
+
+#warning "TODO: Remove logic_info_forward.h"
+
 
 using namespace std;
 using namespace CVC4::theory;