# [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.

**Category:** [Reference Implementation: Eiffel (archive)](https://discourse.openehr.org/c/reference-implementation-eiffel-archive/161)
**Created:** 2010-07-08 13:46 UTC
**Views:** 4
**Replies:** 0
**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

---

## Post #1 by @svn1

Revision: 996
Author:   peter\.gummer
Log Message:

---


**Canonical:** 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
**Original content:** 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