• Alexandre Duret-Lutz's avatar
    Add missing const. · 0b5f63c2
    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
kripkeexplicit.cc 6.58 KB