Changes in src/ResolvExpr/AlternativeFinder.cc [33a25f9:e3e16bc]

File:

• src/ResolvExpr/AlternativeFinder.cc (modified) (1 diff)

src/ResolvExpr/AlternativeFinder.cc

@@ -523 +523 @@
                 for ( AssertionSet::iterator i = assertSet.begin(); i != assertSet.end(); ++i ) {
                         if ( i->second.isUsed ) {
-                                indexer.addId( i->first );
+                                i->first->accept( indexer );
                         }
                 }