# \[ref\_impl\_eiffel\] \[698\] Add a postcondition.

**URL:** <https://discourse.openehr.org/t/ref-impl-eiffel-698-add-a-postcondition/16083>\
**Category:** Reference Implementation: Eiffel (archive)\
**Created:** [5 September 2008 03:10 UTC](https://discourse.openehr.org/t/ref-impl-eiffel-698-add-a-postcondition/16083 "2008-09-05T03:10:31Z")\
**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:** [5 September 2008 03:10 UTC](https://discourse.openehr.org/t/ref-impl-eiffel-698-add-a-postcondition/16083/1 "2008-09-05T03:10:31Z")

</div>

Revision: 698  
Author: peter.gummer

Log Message: