From 5aefe283d219c3a933d0cae6dcf139f5a21e7527 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Adjemian=20=28Scylla=29?=
 <stephane.adjemian@univ-lemans.fr>
Date: Sat, 17 Sep 2011 12:51:36 +0200
Subject: [PATCH] Changed the output of the preprocessor according to commit
 9c0cfe4200029f60af18cec34e3efc220a00b7d6 (change in the calling sequence of
 the check command).

---
 ComputingTasks.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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