2 files changed, 2 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);
diff --git a/src/analysis/lattices/lift.h b/src/analysis/lattices/lift.h
index a458fd6b6..fc7c9754f 100644
--- a/src/analysis/lattices/lift.h
+++ b/src/analysis/lattices/lift.h
@@ -40,6 +40,7 @@ template<Lattice L> struct Lift {
   };
 
   L lattice;
+
   Lift(L&& lattice) : lattice(std::move(lattice)) {}
 
   Element getBottom() const noexcept { return {std::nullopt}; }