From 77139f7157505390dd71f189952def6c92d44c56 Mon Sep 17 00:00:00 2001
From: Martin Mory <mmo@mail.upb.de>
Date: Mon, 28 Aug 2023 12:10:00 +0200
Subject: [PATCH] Update
 include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
---
 .../DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h      | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h
index 7a079e2bd..f1f74957f 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h
@@ -522,7 +522,7 @@ class IDEInstInteractionAnalysisT
                                                 n_t /* RetSite */) override {
     // Map return value back to the caller. If pointer parameters hold at the
     // end of a callee function generate all of those in the caller context.
-    if (CallSite == nullptr){
+    if (CallSite == nullptr) {
       return killAllFlows<d_t>();
     }
     auto MapFactsToCallerFF =