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

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__ */