Changed the output of the preprocessor according to commit 9c0cfe4200029f60af18cec34e3efc220a00b7d6 (change in the calling sequence

of the check command).
issue#70
Stéphane Adjemian (Scylla) 2011-09-17 12:51:36 +02:00
parent 068b74ae6e
commit 5aefe283d2
1 changed files with 1 additions and 1 deletions

View File

@ -54,7 +54,7 @@ void
CheckStatement::writeOutput(ostream &output, const string &basename) const
{
options_list.writeOutput(output);
output << "check;\n";
output << "check(M_,options_,oo_);\n";
}
void