From e7b5b2405b5230b104a281238ec60a7f99ac583f Mon Sep 17 00:00:00 2001
From: Fabian Schiebel <52407375+fabianbs96@users.noreply.github.com>
Date: Mon, 6 Nov 2023 14:16:04 +0100
Subject: [PATCH] pre-commit

---
 .../DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.cpp      | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.cpp b/lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.cpp
index 1ef0b66b9..225b701fa 100644
--- a/lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.cpp
+++ b/lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.cpp
@@ -87,7 +87,7 @@ IDESecureHeapPropagation::getCallToRetFlowFunction(
   // Change to CallSite everywhere
   const auto *CS = llvm::cast<llvm::CallBase>(CallSite);
 
-  if (const auto * Callee = CS->getCalledFunction()) {
+  if (const auto *Callee = CS->getCalledFunction()) {
     if (Callee->getName() == InitializerFn) {
       return generateFromZero(SecureHeapFact::INITIALIZED);
     }