From 039412ea350eca0a93d90f395cb10abbdec26856 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 22 May 2003 12:09:20 +0000 Subject: [PATCH] * src/bddop.c (bdd_simplify): Typo in doc, s/domaine/domain/. --- buddy/ChangeLog | 4 ++++ buddy/src/bddop.c | 4 ++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/buddy/ChangeLog b/buddy/ChangeLog index 7ff4b8cd9..33a7c1f27 100644 --- a/buddy/ChangeLog +++ b/buddy/ChangeLog @@ -1,3 +1,7 @@ +2003-05-22 Alexandre Duret-Lutz + + * src/bddop.c (bdd_simplify): Typo in doc, s/domaine/domain/. + 2003-05-20 Alexandre Duret-Lutz * src/pairs.c (bdd_copypair): Use memcpy to copy from->result, diff --git a/buddy/src/bddop.c b/buddy/src/bddop.c index 423d01d3e..52468789f 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.5 2003/05/20 08:22:36 aduret Exp $ + $Header: /Volumes/CVS/repository/spot/spot/buddy/src/bddop.c,v 1.6 2003/05/22 12:09:20 aduret Exp $ FILE: bddop.c DESCR: BDD operators AUTH: Jorn Lind @@ -1426,7 +1426,7 @@ SECTION {* operator *} SHORT {* coudert and Madre's restrict function *} PROTO {* BDD bdd_simplify(BDD f, BDD d) *} DESCR {* Tries to simplify the BDD {\tt f} by restricting it to the - domaine covered by {\tt d}. No checks are done to see if the + domain covered by {\tt d}. No checks are done to see if the result is actually smaller than the input. This can be done by the user with a call to {\tt bdd\_nodecount}. *} ALSO {* bdd\_restrict *}