1 files changed, 1 insertions, 2 deletions
diff --git a/valexpr.cc b/valexpr.cc
index eb2b08f9..dce9dfd9 100644
--- a/valexpr.cc
+++ b/valexpr.cc
@@ -430,10 +430,9 @@ inline value_expr_t * parse_value_term(const char * p) {
 
 value_expr_t * parse_value_term(std::istream& in)
 {
-  static char buf[256];
-
   std::auto_ptr<value_expr_t> node;
 
+  char buf[256];
   char c = peek_next_nonws(in);
   if (std::isdigit(c)) {
     READ_INTO(in, buf, 255, c, std::isdigit(c));