NO_ERROR enum intersects with windows header defines

[nevilad]

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]

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