nevilad

NO_ERROR enum intersects with windows header defines

1

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...