From 2a627201b50599fadb27a9bbd879b0d0ec0ea7f2 Mon Sep 17 00:00:00 2001
From: Fabian Schiebel <fabianbs@mail.upb.de>
Date: Wed, 2 Sep 2026 17:56:05 +0200
Subject: [PATCH] Fix getDefaultEntryPoints

---
 lib/PhasarLLVM/ControlFlow/EntryFunctionUtils.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/PhasarLLVM/ControlFlow/EntryFunctionUtils.cpp b/lib/PhasarLLVM/ControlFlow/EntryFunctionUtils.cpp
index 4c177acae2..38485e2e35 100644
--- a/lib/PhasarLLVM/ControlFlow/EntryFunctionUtils.cpp
+++ b/lib/PhasarLLVM/ControlFlow/EntryFunctionUtils.cpp
@@ -105,7 +105,7 @@ psr::getEntryFunctionsMut(LLVMProjectIRDB &IRDB,
 std::vector<std::string>
 psr::getDefaultEntryPoints(const LLVMProjectIRDB &IRDB) {
   if (IRDB.getFunctionDefinition(GlobalCtorsDtorsModel::ModelName)) {
-    return {GlobalCtorsDtorsModel::DtorModelName.str()};
+    return {GlobalCtorsDtorsModel::ModelName.str()};
   }
   if (IRDB.getFunctionDefinition("main")) {
     return {"main"};