From f29db634cc1ea5535ee5a1486f3e9550a3acfaae Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Euzenat?= <Jerome.Euzenat@inria.fr>
Date: Tue, 6 Feb 2007 10:41:11 +0000
Subject: [PATCH] - did unsetParameter as well in inverse() (same bug as in
clone())
---
src/fr/inrialpes/exmo/align/impl/BasicAlignment.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/fr/inrialpes/exmo/align/impl/BasicAlignment.java b/src/fr/inrialpes/exmo/align/impl/BasicAlignment.java
index 7c2ec0f1..5f21eafd 100644
--- a/src/fr/inrialpes/exmo/align/impl/BasicAlignment.java
+++ b/src/fr/inrialpes/exmo/align/impl/BasicAlignment.java
@@ -506,7 +506,7 @@ public class BasicAlignment implements Alignment {
String label = (String)e.nextElement();
result.setExtension( label, getExtension( label ) );
}
- result.setExtension( "id", (String)null );
+ result.getExtensions().unsetParameter( "id" );
for ( Enumeration e = getElements() ; e.hasMoreElements(); ){
result.addCell(((Cell)e.nextElement()).inverse());
}
--
GitLab