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

fix(library/io_state_stream): option kind when pretty printing

Browse source
This commit is contained in:
Leonardo de Moura 2015-12-08 15:48:10 -08:00
parent 34b944a71e
commit 81b093271d
2 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/library/io_state_stream.cpp
View file

@ -14,6 +14,11 @@ io_state_stream const & operator<<(io_state_stream const & out, endl_class) {
return out;
}
io_state_stream const & operator<<(io_state_stream const & out, option_kind k) {
out.get_stream() << k;
return out;
}
io_state_stream const & operator<<(io_state_stream const & out, expr_kind const & k) {
out.get_stream() << k;
return out;

1
src/library/io_state_stream.h
View file

@ -40,6 +40,7 @@ const endl_class endl;
class ext_exception;
io_state_stream const & operator<<(io_state_stream const & out, endl_class);
io_state_stream const & operator<<(io_state_stream const & out, option_kind k);
io_state_stream const & operator<<(io_state_stream const & out, expr const & e);
io_state_stream const & operator<<(io_state_stream const & out, level const & l);
io_state_stream const & operator<<(io_state_stream const & out, constraint const & c);