From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 11 Jun 2012 18:27:58 +0000 (+0000)
Subject: mark a quantifiers global var as "static" so we can find it easier later
X-Git-Tag: cvc5-1.0.0~8083
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e148b0a99917b21499b2f596aa22403559baf677;p=cvc5.git

mark a quantifiers global var as "static" so we can find it easier later
---

diff --git a/src/theory/quantifiers/instantiation_engine.cpp b/src/theory/quantifiers/instantiation_engine.cpp
index 8478dff1e..11ff9ecad 100644
--- a/src/theory/quantifiers/instantiation_engine.cpp
+++ b/src/theory/quantifiers/instantiation_engine.cpp
@@ -155,7 +155,7 @@ bool InstantiationEngine::doInstantiationRound( Theory::Effort effort ){
   }
 }
 
-int ierCounter = 0;
+static int ierCounter = 0;
 
 void InstantiationEngine::check( Theory::Effort e ){
   if( e==Theory::EFFORT_FULL ){