fix strict lattice order ⋤ (#44)

Pointed out at: #43 (comment)
aviatesk · Aug 17, 2021 · 194a5b6 · 194a5b6
1 parent b61ebc1
commit 194a5b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/EscapeAnalysis.jl b/src/EscapeAnalysis.jl
@@ -247,7 +247,7 @@ function ⊑(x::EscapeLattice, y::EscapeLattice)
     end
     return false
 end
-⋤(x::EscapeLattice, y::EscapeLattice) = !⊑(y, x)
+⋤(x::EscapeLattice, y::EscapeLattice) = ⊑(x, y) && !⊑(y, x)
 
 function ⊔(x::EscapeLattice, y::EscapeLattice)
     return EscapeLattice(