-
Alexandre Duret-Lutz authored
This is actually an attempt to workaround what might be a compiler bug. (valgrind complains about some uninitialized memory being read on this line). * src/ltlvisit/simplify.cc: Here.
96806681
This is actually an attempt to workaround what might be a compiler bug. (valgrind complains about some uninitialized memory being read on this line). * src/ltlvisit/simplify.cc: Here.