From ca6f0f1367748310be41c12e4c5aecdec7aa0d33 Mon Sep 17 00:00:00 2001
From: Aleksandr Misonizhnik <misonijnik@gmail.com>
Date: Sat, 16 Nov 2024 16:18:17 +0100
Subject: [PATCH] fix(freeze): Add include

---
 lib/Module/FreezeLower.cpp | 1 +
 1 file changed, 1 insertion(+)

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 {