# \[ref\_impl\_eiffel\] \[995\] Remove an invariant that was failing.

**URL:** <https://discourse.openehr.org/t/ref-impl-eiffel-995-remove-an-invariant-that-was-failing/13471>\
**Category:** Reference Implementation: Eiffel (archive)\
**Created:** [8 July 2010 13:25 UTC](https://discourse.openehr.org/t/ref-impl-eiffel-995-remove-an-invariant-that-was-failing/13471 "2010-07-08T13:25:43Z")\
**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:25 UTC](https://discourse.openehr.org/t/ref-impl-eiffel-995-remove-an-invariant-that-was-failing/13471/1 "2010-07-08T13:25:43Z")

</div>

Revision: 995  
Author: peter.gummer  
Log Message: