# \[ref\_impl\_eiffel\] \[996\] Fix a failing precondition when ARCH\_REP\_ARCHETYPE. add\_slot\_ids was changing the comparison criterion of a non-empty list.

**URL:** <https://discourse.openehr.org/t/ref-impl-eiffel-996-fix-a-failing-precondition-when-arch-rep-archetype-add-slot-ids-was-changing-the-comparison-criterion-of-a-non-empty-list/13472>\
**Category:** Reference Implementation: Eiffel (archive)\
**Created:** [8 July 2010 13:46 UTC](https://discourse.openehr.org/t/ref-impl-eiffel-996-fix-a-failing-precondition-when-arch-rep-archetype-add-slot-ids-was-changing-the-comparison-criterion-of-a-non-empty-list/13472 "2010-07-08T13:46:57Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![svn1](https://discourse.openehr.org/letter_avatar_proxy/v4/letter/s/958977/32.png) [@svn1](https://discourse.openehr.org/u/svn1)\
**Post date:** [8 July 2010 13:46 UTC](https://discourse.openehr.org/t/ref-impl-eiffel-996-fix-a-failing-precondition-when-arch-rep-archetype-add-slot-ids-was-changing-the-comparison-criterion-of-a-non-empty-list/13472/1 "2010-07-08T13:46:57Z")

</div>

Revision: 996  
Author: peter.gummer  
Log Message: