diff --git a/Solver/function.cpp b/Solver/function.cpp index 2f18c7c87e344a66903e56e5e3fe8f8a25e436fb..d65b84c3c207a29e36ac1f98cd29dd278ef25de8 100644 --- a/Solver/function.cpp +++ b/Solver/function.cpp @@ -260,7 +260,7 @@ dataCacheDouble *dataCacheMap::get(const function *f, dataCacheDouble *caller, b if (it->iMap > _parent->_secondaryCaches.size()) okFromParent = false; dataCacheMap *m = getSecondaryCache(it->iMap); - if (m->_cacheDoubleMap.find(it->f) != m->_cacheDoubleMap.end()) { + if (m->_cacheDoubleMap.find(_translate(it->f)) != m->_cacheDoubleMap.end()) { okFromParent = false; break; }