From 92e7da05267eb5aa97f1e1776d3efc58cd87644c Mon Sep 17 00:00:00 2001
From: Martin Nilsson <mani@lysator.liu.se>
Date: Mon, 31 Mar 2003 18:44:32 +0200
Subject: [PATCH] Autodoc fix

Rev: lib/modules/ADT.pmod/Relation.pmod/Binary.pike:1.7
---
 lib/modules/ADT.pmod/Relation.pmod/Binary.pike | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/lib/modules/ADT.pmod/Relation.pmod/Binary.pike b/lib/modules/ADT.pmod/Relation.pmod/Binary.pike
index bf3e1522d1..30458db6bf 100644
--- a/lib/modules/ADT.pmod/Relation.pmod/Binary.pike
+++ b/lib/modules/ADT.pmod/Relation.pmod/Binary.pike
@@ -1,4 +1,4 @@
-// $Id: Binary.pike,v 1.6 2003/01/19 17:41:21 nilsson Exp $
+// $Id: Binary.pike,v 1.7 2003/03/31 16:44:32 nilsson Exp $
 // An abstract data type for binary relations.
 
 private mapping val   = ([]);
@@ -147,6 +147,8 @@ mixed `&(mixed rel)
                        { return rel->contains(left, right);});
 }
 
+//! @decl mixed `+(mixed rel)
+//! @decl mixed `|(mixed rel)
 //! The expression `rel1 | rel2' and `rel1 + rel2' returns a new
 //! relation which has all the relation entries present in rel1,
 //! or rel2, or both.
-- 
GitLab