again a typo

diff --git a/src/theory/bv/equality_engine.h b/src/theory/bv/equality_engine.h
index 6b95519503de9279903778bee1b0c35a95467da5..6fa1b7d22a9c582728392ca2e4e3b6cf7a196609 100644 (file)
--- a/src/theory/bv/equality_engine.h
+++ b/src/theory/bv/equality_engine.h
@@ -688,7 +688,7 @@ void EqualityEngine<OwnerClass, NotifyClass, UnionFindPreferences>::getExplanati
     Assert(currentIndex < bfsQueue.size());
 
     // The next node to visit
-    BfsData& current = bfsQueue[currentIndex];
+    BfsData current = bfsQueue[currentIndex];
     size_t currentNode = current.nodeId;
 
     Debug("equality") << "EqualityEngine::getExplanation(): currentNode =  " << d_nodes[currentNode] << std::endl;