From 2a1479c4ea6a7d6cfbbc10ae7cfaebb575adbab5 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 7 May 2003 12:23:19 +0000
Subject: [PATCH] * src/bddop.c (bdd_allsat): Fix description.

---
 buddy/ChangeLog   | 4 ++++
 buddy/src/bddop.c | 4 ++--
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/buddy/ChangeLog b/buddy/ChangeLog
index d37c90f57..2d218afe6 100644
--- a/buddy/ChangeLog
+++ b/buddy/ChangeLog
@@ -1,3 +1,7 @@
+2003-05-07  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
+
+	* src/bddop.c (bdd_allsat): Fix description.
+
 2003-05-05  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
 	* configure.ac: Output config.h.
diff --git a/buddy/src/bddop.c b/buddy/src/bddop.c
index 6dfeeaae5..934b96a29 100644
--- a/buddy/src/bddop.c
+++ b/buddy/src/bddop.c
@@ -28,7 +28,7 @@
 ========================================================================*/
 
 /*************************************************************************
-  $Header: /Volumes/CVS/repository/spot/spot/buddy/src/bddop.c,v 1.2 2003/05/05 13:45:04 aduret Exp $
+  $Header: /Volumes/CVS/repository/spot/spot/buddy/src/bddop.c,v 1.3 2003/05/07 12:23:19 aduret Exp $
   FILE:  bddop.c
   DESCR: BDD operators
   AUTH:  Jorn Lind
@@ -2350,7 +2350,7 @@ static int fullsatone_rec(int r)
 NAME    {* bdd\_allsat *}
 SECTION {* operator *}
 SHORT   {* finds all satisfying variable assignments *}
-PROTO   {* BDD bdd_satone(BDD r, bddallsathandler handler) *}
+PROTO   {* BDD bdd_allsat(BDD r, bddallsathandler handler) *}
 DESCR   {* Iterates through all legal variable assignments (those
            that make the BDD come true) for the  bdd {\tt r} and
 	   calls the callback handler {\tt handler} for each of them.