diff options
Diffstat (limited to 'Carpet/Requirements/src/all_clauses.cc')
-rw-r--r-- | Carpet/Requirements/src/all_clauses.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Carpet/Requirements/src/all_clauses.cc b/Carpet/Requirements/src/all_clauses.cc index 950b73386..7e1fece31 100644 --- a/Carpet/Requirements/src/all_clauses.cc +++ b/Carpet/Requirements/src/all_clauses.cc @@ -38,10 +38,12 @@ namespace Requirements { } return; } + void all_clauses_t::output(ostream& os) const { os << "all_clauses: {" << std::endl; - for (std::map<cFunctionData const*, clauses_t const*>::const_iterator ti=clauses_map.begin(); + for (std::map<cFunctionData const*, clauses_t const*>::const_iterator + ti=clauses_map.begin(); ti!=clauses_map.end(); ++ti) { |