Work around changes in newer versions of glibc

[satcheck.git] / common.cc

diff --git a/common.cc b/common.cc
index b57e93c7e3db3fb10bbb4564a9ecac65dd66feb9..b445ce359596cbbaed1e539dfed25ee353d5a566 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. */