Skip to content

Commit 40990ea

Browse files
committed
fix(freeze): Add include
1 parent facefec commit 40990ea

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

Diff for: lib/Module/FreezeLower.cpp

+1
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@
1010
#include "Passes.h"
1111

1212
#include "llvm/IR/BasicBlock.h"
13+
#include "llvm/IR/Constant.h"
1314
#include "llvm/IR/Instruction.h"
1415

1516
namespace klee {

0 commit comments

Comments
 (0)