From 02a509b6e89d785ec222fe47e875f8d77518cb35 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 5 Nov 2024 10:56:13 -0800
Subject: [PATCH] remove a global debug variable

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/dioph_eq.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp
index e634771b9..c78d2e365 100644
--- a/src/math/lp/dioph_eq.cpp
+++ b/src/math/lp/dioph_eq.cpp
@@ -4,7 +4,6 @@
 #include "math/lp/lp_utils.h"
 #include <list>
 #include <queue>
-unsigned glb=0;
 namespace lp {
     // This class represents a term with an added constant number c, in form sum {x_i*a_i} + c.
     class dioph_eq::imp {