# [ref_impl_eiffel] [994] Add a missing postcondition to ARCH_REP_ARCHETYPE.flatten.

**Category:** [Reference Implementation: Eiffel (archive)](https://discourse.openehr.org/c/reference-implementation-eiffel-archive/161)
**Created:** 2010-07-08 09:26 UTC
**Views:** 7
**Replies:** 0
**URL:** https://discourse.openehr.org/t/ref-impl-eiffel-994-add-a-missing-postcondition-to-arch-rep-archetype-flatten/13470

---

## Post #1 by @svn1

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

---


**Canonical:** https://discourse.openehr.org/t/ref-impl-eiffel-994-add-a-missing-postcondition-to-arch-rep-archetype-flatten/13470
**Original content:** https://discourse.openehr.org/t/ref-impl-eiffel-994-add-a-missing-postcondition-to-arch-rep-archetype-flatten/13470