X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=common.cc;h=b445ce359596cbbaed1e539dfed25ee353d5a566;hb=9acc51b844da6a7ae2d3dc65e1d09273e1248722;hp=b57e93c7e3db3fb10bbb4564a9ecac65dd66feb9;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;p=satcheck.git

diff --git a/common.cc b/common.cc
index b57e93c..b445ce3 100644
--- a/common.cc
+++ b/common.cc
@@ -25,6 +25,7 @@
 
 /** @brief Model-checker output file descriptor; default to stdout until redirected */
 int model_out = STDOUT_FILENO;
+int model_err = STDERR_FILENO;
 
 #define CONFIG_STACKTRACE
 /** Print a backtrace of the current program state. */