diff --git a/lib/Module/FreezeLower.cpp b/lib/Module/FreezeLower.cpp
index 524ecbe861..ddbe8009b6 100644
--- a/lib/Module/FreezeLower.cpp
+++ b/lib/Module/FreezeLower.cpp
@@ -10,6 +10,7 @@
 #include "Passes.h"
 
 #include "llvm/IR/BasicBlock.h"
+#include "llvm/IR/Constants.h"
 #include "llvm/IR/Instruction.h"
 
 namespace klee {