diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-04T12·18+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-04T12·18+0000 |
| commit | 207ff2caf0f48db0fb539e228ec5c3938a279f2a (patch) | |
| tree | e4c2c329dcf44db95e36ff4d6872f904e39bc520 /src/util.hh | |
| parent | 40b5936691fe2448dea0080e2319cc340bc7c65c (diff) | |
* Caching of expression successors.
Diffstat (limited to 'src/util.hh')
| -rw-r--r-- | src/util.hh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/util.hh b/src/util.hh index cf6f7d0c1c..6242fcb112 100644 --- a/src/util.hh +++ b/src/util.hh @@ -61,6 +61,18 @@ string baseNameOf(string path); void deletePath(string path); +/* Messages. */ + +class Nest +{ +private: + bool nest; +public: + Nest(bool nest); + ~Nest(); +}; + +void msg(const format & f); void debug(const format & f); |