diff --git a/preprocessor/ComputingTasks.cc b/preprocessor/ComputingTasks.cc
index e137835b11f2f9c5d9510a96da6e7db56589c128..8349f2585c0a45fb5d3ebb48d8c617a02d5d5054 100644
--- a/preprocessor/ComputingTasks.cc
+++ b/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