Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
buddy
src
bddop.c
Find file
Blame
History
Permalink
[buddy] fix handling of bdd_apply_biimp
· 819cd7b8
Alexandre Duret-Lutz
authored
Jun 20, 2017
* src/bddop.c: Fix shortcut.
819cd7b8