diff options
Diffstat (limited to 'src/util.cc')
| -rw-r--r-- | src/util.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util.cc b/src/util.cc index 4dada48ba67e..c6a0c1199770 100644 --- a/src/util.cc +++ b/src/util.cc @@ -78,7 +78,7 @@ void deletePath(string path) } -void debug(string s) +void debug(const format & f) { - cerr << "debug: " << s << endl; + cerr << format("debug: %1%\n") % f.str(); } |