fix(freeze): Add include

UnitTestBot · Nov 17, 2024 · ca6f0f1 · ca6f0f1
1 parent bfcd9d9
commit ca6f0f1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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 {