1 files changed, 3 insertions, 3 deletions
diff --git a/src/prop/cnf_stream.cpp b/src/prop/cnf_stream.cpp
index 7b986cf83..da41b1de4 100644
--- a/src/prop/cnf_stream.cpp
+++ b/src/prop/cnf_stream.cpp
@@ -71,9 +71,9 @@ bool CnfStream::isCached(TNode n) const {
   return d_translationCache.find(n) != d_translationCache.end();
 }
 
-SatLiteral CnfStream::lookupInCache(TNode n) const {
-  Assert(isCached(n), "Node is not in CNF translation cache");
-  return d_translationCache.find(n)->second;
+SatLiteral CnfStream::lookupInCache(TNode node) const {
+  Assert(isCached(node), "Node is not in CNF translation cache");
+  return d_translationCache.find(node)->second;
 }
 
 void CnfStream::cacheTranslation(TNode node, SatLiteral lit) {