| 103 | using namespace Gecode::FlatZinc; |
| 104 | |
| 105 | void yyerror(void* parm, const char *str) { |
| 106 | ParserState* pp = static_cast<ParserState*>(parm); |
| 107 | pp->err << "Error: " << str |
| 108 | << " in line no. " << yyget_lineno(pp->yyscanner) |
| 109 | << std::endl; |
| 110 | pp->hadError = true; |
| 111 | } |
| 112 | |
| 113 | void yyassert(ParserState* pp, bool cond, const char* str) |
| 114 | { |
no test coverage detected