about summary refs log tree commit diff
path: root/src/util.hh
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-07-04T12·18+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-07-04T12·18+0000
commit207ff2caf0f48db0fb539e228ec5c3938a279f2a (patch)
treee4c2c329dcf44db95e36ff4d6872f904e39bc520 /src/util.hh
parent40b5936691fe2448dea0080e2319cc340bc7c65c (diff)
* Caching of expression successors.
Diffstat (limited to 'src/util.hh')
-rw-r--r--src/util.hh12
1 files changed, 12 insertions, 0 deletions
diff --git a/src/util.hh b/src/util.hh
index cf6f7d0c1c65..6242fcb112ae 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);