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

chore(library/blast/trace): fix signature

Browse source
This commit is contained in:
Leonardo de Moura 2015-11-20 08:55:44 -08:00
parent ffacf70230
commit f6ba746b03
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/blast/trace.cpp
View file

@ -56,7 +56,7 @@ scope_trace::~scope_trace() {
g_trace = m_old;
}
io_state_stream & operator<<(io_state_stream & out, ppb const & e) {
io_state_stream const & operator<<(io_state_stream const & out, ppb const & e) {
expr tmp = curr_state().to_kernel_expr(e.m_expr);
out << tmp;
return out;

2
src/library/blast/trace.h
View file

@ -30,5 +30,5 @@ struct ppb {
explicit ppb(expr const & e):m_expr(e) {}
};
io_state_stream & operator<<(io_state_stream & out, ppb const & e);
io_state_stream const & operator<<(io_state_stream const & out, ppb const & e);
}}