-
Alexandre Duret-Lutz authored
Test the output of down_cast before using it. This used to generate a warning when crosscompiling for mingw with g+++ 6.1.1 * spot/kripke/kripkegraph.hh: Here.
cc761870
Test the output of down_cast before using it. This used to generate a warning when crosscompiling for mingw with g+++ 6.1.1 * spot/kripke/kripkegraph.hh: Here.