-
Alexandre Duret-Lutz authored
* src/kripke/kripkeexplicit.cc: Add missing const, reported by Etienne Renault using Apple's clang version that is installed with OS X 10.9.
0b5f63c2
* src/kripke/kripkeexplicit.cc: Add missing const, reported by Etienne Renault using Apple's clang version that is installed with OS X 10.9.