Skip to content

Commit 46811ec

Browse files
committed
Optimize difference of two equal bdds
1 parent 9199e55 commit 46811ec

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

lib/elixir/lib/module/types/descr.ex

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5851,6 +5851,8 @@ defmodule Module.Types.Descr do
58515851
end
58525852
end
58535853

5854+
def bdd_difference(bdd, bdd), do: :bdd_bot
5855+
58545856
def bdd_difference(bdd1, bdd2) do
58555857
case {bdd1, bdd2} do
58565858
{_bdd, :bdd_top} ->

0 commit comments

Comments
 (0)