Work around changes in newer versions of glibc
[satcheck.git] / common.cc
index b57e93c..b445ce3 100644 (file)
--- 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. */