Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    Spot wants `^', not `xor'. · bbba8ca9
    Alexandre Duret-Lutz authored 
    * src/SpotWrapper.hh (SpotWrapper::SPOT_XOR): Declare.
* src/SpotWrapper.cc (SpotWrapper::SPOT_XOR): Define.
(SpotWrapper::translateFormula): Use SPOT_XOR.
    bbba8ca9