diff options
Diffstat (limited to 'src/util.hh')
| -rw-r--r-- | src/util.hh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/util.hh b/src/util.hh index 7d5f00a2e..3efac928b 100644 --- a/src/util.hh +++ b/src/util.hh @@ -7,7 +7,10 @@ #include <unistd.h> +#include <boost/format.hpp> + using namespace std; +using namespace boost; class Error : public exception @@ -16,7 +19,7 @@ protected: string err; public: Error() { } - Error(string _err) { err = _err; } + Error(format f) { err = f.str(); } ~Error() throw () { } const char * what() const throw () { return err.c_str(); } }; @@ -59,7 +62,7 @@ string baseNameOf(string path); void deletePath(string path); -void debug(string s); +void debug(const format & f); #endif /* !__UTIL_H */ |