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