Skip to content

Commit 89a0b29

Browse files
Update include/phasar/PhasarLLVM/DataFlowSolver/WPDS/JoinLatticeToSemiRingElem.h
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
1 parent 81032a4 commit 89a0b29

1 file changed

Lines changed: 3 additions & 1 deletion

File tree

include/phasar/PhasarLLVM/DataFlowSolver/WPDS/JoinLatticeToSemiRingElem.h

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,9 @@ template <typename V> class JoinLatticeToSemiRingElem : public wali::SemElem {
3737
: wali::SemElem(), EdgeFunc(F), Lattice(L) {}
3838
~JoinLatticeToSemiRingElem() override = default;
3939

40-
std::ostream &print(std::ostream &OS) const override { return OS << *EdgeFunc; }
40+
std::ostream &print(std::ostream &OS) const override {
41+
return OS << *EdgeFunc;
42+
}
4143

4244
wali::sem_elem_t one() const override {
4345
// std::cout << "JoinLatticeToSemiRingElem::one()" << std::endl;

0 commit comments

Comments
 (0)