Changeset cdacb73


Ignore:
Timestamp:
Nov 10, 2020, 12:37:08 PM (3 years ago)
Author:
Fangren Yu <f37yu@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
b82d140, e00c22f
Parents:
3ff4c1e
Message:

remove missing assertion console print

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ResolvExpr/SatisfyAssertions.cpp

    r3ff4c1e rcdacb73  
    247247                                auto it = inferred.find( slot );
    248248                                if ( it == inferred.end() ) {
    249                                         std::cerr << "missing assertion " << slot << std::endl;
     249                                        // std::cerr << "missing assertion " << slot << std::endl;
    250250                                        missingSlots.push_back(slot);
    251251                                        continue;
Note: See TracChangeset for help on using the changeset viewer.