diff --git a/src/fr/inrialpes/exmo/align/impl/BasicAlignment.java b/src/fr/inrialpes/exmo/align/impl/BasicAlignment.java index 7c2ec0f12e8f39a6182d5f4c911ee857341ea25d..5f21eafdbd05c36c0b9edb8438c06d1799d2d0bc 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()); }