X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=common.cc;h=b445ce359596cbbaed1e539dfed25ee353d5a566;hp=b57e93c7e3db3fb10bbb4564a9ecac65dd66feb9;hb=fdc038715881f395ddbac1625160236f8db2c1d7;hpb=4f614d5fb6b6e8060910f3d5db1e6d5e8611cffa

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