Changed the output of the preprocessor according to commit...

Changed the output of the preprocessor according to commit 9c0cfe4200029f60af18cec34e3efc220a00b7d6 (change in the calling sequence
of the check command).

preprocessor/ComputingTasks.cc

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