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 psr::getDefaultEntryPoints(const LLVMProjectIRDB &IRDB) { if (IRDB.getFunctionDefinition(GlobalCtorsDtorsModel::ModelName)) { - return {GlobalCtorsDtorsModel::DtorModelName.str()}; + return {GlobalCtorsDtorsModel::ModelName.str()}; } if (IRDB.getFunctionDefinition("main")) { return {"main"};