changing windows ifdef to properly detect windows

LeventErkok / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

https://github.com/LeventErkok/sbv

Other

243 stars 34 forks source link

changing windows ifdef to properly detect windows #551

Closed doyougnu closed 4 years ago

doyougnu commented 4 years ago

Just a single commit for https://github.com/LeventErkok/sbv/issues/550

By doing this with a PR we can test the AppVeyor CI without merging into master. Even if this doesn't work that ifdef is still wrong and should be corrected.