Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
misc
bddalloc.cc
Find file
Blame
History
Permalink
* src/misc/bddalloc.cc (bdd_allocator::initialize): Call
· 21e2439d
Alexandre Duret-Lutz
authored
Apr 17, 2007
bdd_isrunning() and don't run bdd_init() if it has already been called.
21e2439d