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 8478dff1eeb555b7a91c81247d557686b57c167a..11ff9ecadfbaccce9f2c6fef2d3838cd4a6c1244 100644 (file)
--- 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 ){