alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/twaalgos/hoa.hh (print_hoa): Add default value for opt.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-06-10 08:27:39 +02:00
parent b229bfc224
commit cf6c17b509
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/twaalgos/hoa.hh
View file

@ -37,6 +37,6 @@ namespace spot
/// single-line output. /// single-line output.
SPOT_API std::ostream& SPOT_API std::ostream&
print_hoa(std::ostream& os, print_hoa(std::ostream& os,
const const_twa_ptr& g, const const_twa_ptr& g,
const char* opt); const char* opt = nullptr);
} }