search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
371 stars 47 forks source link

NO_ERROR enum intersects with windows header defines #290

Open nevilad opened 4 years ago

nevilad commented 4 years ago

yices_types.h contains:

typedef enum error_code {
  NO_ERROR = 0,

Windows winerror.h contains: #define NO_ERROR 0L // dderror

Building them together ends in compilation errors. Since they values are equal, as a workaround I commented out the definition in yices_types.h.

BrunoDutertre commented 4 years ago

Thanks for reporting this. We'll rename 'NO_ERROR' to something else in the next release.