From 57a055b656db1257f6c0e52fb846fd29c4a9d5dc Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 19 Oct 2016 16:54:59 +0200
Subject: [PATCH] [buddy] typo in comment

* src/bddop.c (bdd_implies): Fix documentation.
---
 buddy/src/bddop.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buddy/src/bddop.c b/buddy/src/bddop.c
index d59811a01..74ae5bce1 100644
--- a/buddy/src/bddop.c
+++ b/buddy/src/bddop.c
@@ -902,7 +902,7 @@ BDD bdd_setxor(BDD l, BDD r)
 NAME    {* bdd\_implies *}
 SECTION {* operator *}
 SHORT   {* check whether one BDD implies another *}
-PROTO   {* int bdd_setxor(BDD l, BDD r) *}
+PROTO   {* int bdd_implies(BDD l, BDD r) *}
 DESCR   {* Check whether $l$ implies $r$, or whether $r$ contains $l$. *}
 RETURN  {* 1 if $l$ implies $r$, 0 otherwise *}
 */