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  <aduret@src.lip6.fr>
 
-	* 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;