X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=output.h;h=e390bb613510539958a1507eb2aaaddebd374ae3;hp=ca55b7a682352c9c67ad0d523a0f416d17991761;hb=19a4794da8f07346ee407bdee032eeaf59fe0e9a;hpb=80f5924fb6c148ecb703dfeae5a751948062588b

diff --git a/output.h b/output.h
index ca55b7a..e390bb6 100644
--- a/output.h
+++ b/output.h
@@ -5,8 +5,16 @@
 #ifndef __OUTPUT_H__
 #define __OUTPUT_H__
 
+#include "config.h"
+
+#ifdef CONFIG_DEBUG
+static inline void redirect_output() { }
+static inline void clear_program_output() { }
+static inline void print_program_output() { }
+#else
 void redirect_output();
 void clear_program_output();
 void print_program_output();
+#endif /* ! CONFIG_DEBUG */
 
 #endif /* __OUTPUT_H__ */