X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=main.cc;h=590a41d27f33c07118592912fc73f582a4624050;hb=17b49f10df170ee8e6aca7401e014e8658971cdb;hp=53495072e32d3c75f855d5cc82582a8dfc8e112b;hpb=86b818595e02c86250a17ed88f2d6af15a3141f3;p=c11tester.git

diff --git a/main.cc b/main.cc
index 53495072..590a41d2 100644
--- a/main.cc
+++ b/main.cc
@@ -189,8 +189,6 @@ int main(int argc, char **argv)
 				 "Distributed under the GPLv2\n"
 				 "Written by Weiyu Luo, Brian Norris, and Brian Demsky\n\n");
 
-	/* Configure output redirection for the model-checker */
-	redirect_output();
 
 	//Initialize snapshotting library and model checker object
 	if (!model) {
@@ -199,6 +197,9 @@ int main(int argc, char **argv)
 		model->startChecker();
 	}
 
+	/* Configure output redirection for the model-checker */
+	redirect_output();
+
 	register_plugins();
 
 	//Parse command line options