From ddeeb943b1f86fa806621e89bb2cc1c94632cd03 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 8 Sep 2005 14:16:54 +0200
Subject: [PATCH] verify_lexsmaller: add missing static qualifier.

---
 verify_lexsmaller.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/verify_lexsmaller.c b/verify_lexsmaller.c
index 5fcb524..fd7fb8e 100644
--- a/verify_lexsmaller.c
+++ b/verify_lexsmaller.c
@@ -26,7 +26,7 @@ static int live = 0;
 static int print_max = 0;
 static int verbose = 0;
 static int keep_going = 0;
-Value max;
+static Value max;
 
 static int check_lexsmaller(Polyhedron *SP, Polyhedron *SD, Enumeration *en,
 			 int pos, int nvar, Value *zP, Value *zD, Value *zE,
-- 
2.11.4.GIT