-
Alexandre Duret-Lutz authored
Depending on whether the global atomic proposition map was destroyed after the global automata declared in autfilt, we could get double-free errors. * src/bin/autfilt.cc: Force destruction of automata in main().
223d41d2