diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-06-27T13·55+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-06-27T13·55+0000 |
| commit | 3da9687854e029e9df3b612fd592d2d5a622bb20 (patch) | |
| tree | 4b51f62373c134bb80ff5aac51ffe613eef755e6 /src/util.cc | |
| parent | bb03c45ca03e038c8b74fc1410f48d02ade4c59b (diff) | |
* Realisation of File(...) expressions.
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 4dada48ba6..c6a0c11997 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(); } |