fix(freeze): Add include

UnitTestBot · Nov 16, 2024 · 929c758 · 929c758
1 parent 7276891
commit 929c758
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 {