diff options
Diffstat (limited to 'src/decision/relevancy.cpp')
| -rw-r--r-- | src/decision/relevancy.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/decision/relevancy.cpp b/src/decision/relevancy.cpp index c5e1f7fbc..f73337c8f 100644 --- a/src/decision/relevancy.cpp +++ b/src/decision/relevancy.cpp @@ -68,7 +68,7 @@ void Relevancy::computeITEs(TNode n, IteList &l) } } -const IteList& Relevancy::getITEs(TNode n) +const Relevancy::IteList& Relevancy::getITEs(TNode n) { IteCache::iterator it = d_iteCache.find(n); if(it != d_iteCache.end()) { |