fix(freeze): Add include

UnitTestBot · Nov 16, 2024 · 285ba76 · 285ba76
1 parent facefec
commit 285ba76
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 {