diff options
Diffstat (limited to 'src/analysis/lattices/inverted.h')
| -rw-r--r-- | src/analysis/lattices/inverted.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/analysis/lattices/inverted.h b/src/analysis/lattices/inverted.h index 92b965323..c69f71a8b 100644 --- a/src/analysis/lattices/inverted.h +++ b/src/analysis/lattices/inverted.h @@ -35,7 +35,7 @@ template<FullLattice L> struct Inverted { Element getBottom() const noexcept { return lattice.getTop(); } Element getTop() const noexcept { return lattice.getBottom(); } LatticeComparison compare(const Element& a, const Element& b) const noexcept { - return reverseComparison(lattice.compare(a, b)); + return lattice.compare(b, a); } bool join(Element& self, Element other) const noexcept { return lattice.meet(self, other); |