From 01b34fe5843df9888737699ee9f9fe2f161a1fa3 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Fri, 4 Jul 2003 15:29:58 +0000
Subject: * Cleanup.

---
 src/globals.hh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/globals.hh')

diff --git a/src/globals.hh b/src/globals.hh
index 8597ae2f89d7..8c6a763c48e3 100644
--- a/src/globals.hh
+++ b/src/globals.hh
@@ -21,7 +21,13 @@ extern string dbRefs;
    with hash h2.
 
    Note that a term $y$ is successor of $x$ iff there exists a
-   sequence of rewrite steps that rewrites $x$ into $y$. */
+   sequence of rewrite steps that rewrites $x$ into $y$.
+
+   Also note that instead of a successor, $y$ can be any term
+   equivalent to $x$, that is, reducing to the same result, as long as
+   $x$ is equal to or a successor of $y$.  (This is useful, e.g., for
+   shared derivate caching over the network).
+*/
 extern string dbSuccessors;
 
 /* dbNetSources :: Hash -> URL
-- 
cgit 1.4.1