From bcf4fbfeff9eed8dfc2eb82d569ca7eb6c289cfe 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).

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

diff --git a/preprocessor/ComputingTasks.cc b/preprocessor/ComputingTasks.cc
index e137835b1..8349f2585 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