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

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 ) {
-                                i->first->accept( indexer );
+                                indexer.addId( i->first );
                         }
                 }