-
Alexandre Duret-Lutz authored* m4/symbolic.m4: Here. The -Bsymbolic option causes segfault related to spot::formula::ff() returning a pointer to some global.
073d1545
* m4/symbolic.m4: Here. The -Bsymbolic option causes segfault related to spot::formula::ff() returning a pointer to some global.