From 4d6660835aa68e5e41c8a2f4ad79bc25013aaafe Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 22 May 2003 12:07:52 +0000 Subject: [PATCH] * src/pairs.c (bdd_copypair): Use memcpy to copy from->result, and correctly copy p->last from from->last. --- buddy/ChangeLog | 3 ++- buddy/src/pairs.c | 4 ++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/buddy/ChangeLog b/buddy/ChangeLog index be5541ab7..7ff4b8cd9 100644 --- a/buddy/ChangeLog +++ b/buddy/ChangeLog @@ -1,6 +1,7 @@ 2003-05-20 Alexandre Duret-Lutz - * src/pairs.c (bdd_copypair): Use memcpy to copy from->result. + * src/pairs.c (bdd_copypair): Use memcpy to copy from->result, + and correctly copy p->last from from->last. * src/pairs.c (bdd_setbddpair): Fix prototype in documentation. diff --git a/buddy/src/pairs.c b/buddy/src/pairs.c index 45b94a4bc..7265fd924 100644 --- a/buddy/src/pairs.c +++ b/buddy/src/pairs.c @@ -28,7 +28,7 @@ ========================================================================*/ /************************************************************************* - $Header: /Volumes/CVS/repository/spot/spot/buddy/src/pairs.c,v 1.5 2003/05/20 10:42:19 aduret Exp $ + $Header: /Volumes/CVS/repository/spot/spot/buddy/src/pairs.c,v 1.6 2003/05/22 12:07:52 aduret Exp $ FILE: pairs.c DESCR: Pair management for BDD package. AUTH: Jorn Lind @@ -206,7 +206,7 @@ bddPair *bdd_copypair(bddPair *from) memcpy(p->result, from->result, bddvarnum * sizeof(*p->result)); p->id = update_pairsid(); - p->last = -1; + p->last = from->last; bdd_register_pair(p); return p;