michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(tests/kernel/metavar): typo

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-05-01 12:58:09 -07:00
parent 027614cebb
commit 120c24319e
1 changed files with 7 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
src/tests/kernel/metavar.cpp
View file

@ -46,14 +46,13 @@ void display_assumptions(std::ostream & out, justification const & j) {
}
static std::ostream & operator<<(std::ostream & out, substitution const & s) {
// bool first = true;
// s.for_each([&](name const & n, expr const & v, justification const & j) {
// if (first) first = false; else out << "\n";
// out << "?" << n << " <- " << v << " {";
// display_assumptions(out, j);
// out << "}";
// });
s.for_each_expr([](name const &, expr const &, justification const &) {});
bool first = true;
s.for_each_expr([&](name const & n, expr const & v, justification const & j) {
if (first) first = false; else out << "\n";
out << "?" << n << " <- " << v << " {";
display_assumptions(out, j);
out << "}";
});
return out;
}