diff --git a/src/Function.cpp b/src/Function.cpp
index 5d68a58f2..d7bfb479b 100644
--- a/src/Function.cpp
+++ b/src/Function.cpp
@@ -56,7 +56,6 @@
 #include "util.h"
 #include "Fact.h"
 #include "FactPointTo.h"
-#include "FactMgr.h"
 #include "VectorFilter.h"
 #include "Error.h"
 #include "DepthSpec.h"
diff --git a/src/Lhs.cpp b/src/Lhs.cpp
index 950a51121..27447c504 100644
--- a/src/Lhs.cpp
+++ b/src/Lhs.cpp
@@ -44,7 +44,6 @@
 #include "Bookkeeper.h"
 #include "Error.h"
 #include "DepthSpec.h"
-#include "CGOptions.h"
 #include "ArrayVariable.h"
 #include "random.h"
 
diff --git a/src/StatementGoto.cpp b/src/StatementGoto.cpp
index 8770bbe95..ddd0d7339 100644
--- a/src/StatementGoto.cpp
+++ b/src/StatementGoto.cpp
@@ -37,7 +37,6 @@
 #include "CGOptions.h"
 #include "CGContext.h"
 #include "Block.h"
-#include "Type.h"
 #include "Function.h"
 #include "Expression.h"
 #include "ExpressionVariable.h"