Skip to content

Commit b8d2145

Browse files
authored
Adds debug guard around debug statment (#428)
1 parent ed67292 commit b8d2145

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

lib/PhasarLLVM/Pointer/LLVMPointsToSet.cpp

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -76,7 +76,8 @@ LLVMPointsToSet::LLVMPointsToSet(ProjectIRDB &IRDB, bool UseLazyEvaluation,
7676
}
7777
}
7878
}
79-
std::cerr << "LLVMPointsToSet completed\n";
79+
LOG_IF_ENABLE(BOOST_LOG_SEV(lg::get(), DEBUG)
80+
<< "LLVMPointsToSet completed\n");
8081
}
8182

8283
void LLVMPointsToSet::computeValuesPointsToSet(const llvm::Value *V) {

0 commit comments

Comments
 (0)