-
Alexandre Duret-Lutz authored
* src/kernel.c: The initialization code of the BDD cache was awfully slow due to multiple references to global variables.
4c1147e4
* src/kernel.c: The initialization code of the BDD cache was awfully slow due to multiple references to global variables.