# [ref_impl_eiffel] [964] Fix a precondition failure in STRING.replace_substring_all, caused by MESSAGE_DB. create_message_content passing it a Void replacement string.

**Category:** [Reference Implementation: Eiffel (archive)](https://discourse.openehr.org/c/reference-implementation-eiffel-archive/161)
**Created:** 2010-06-23 13:18 UTC
**Views:** 1
**Replies:** 0
**URL:** https://discourse.openehr.org/t/ref-impl-eiffel-964-fix-a-precondition-failure-in-string-replace-substring-all-caused-by-message-db-create-message-content-passing-it-a-void-replacement-string/13435

---

## Post #1 by @svn1

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

---


**Canonical:** https://discourse.openehr.org/t/ref-impl-eiffel-964-fix-a-precondition-failure-in-string-replace-substring-all-caused-by-message-db-create-message-content-passing-it-a-void-replacement-string/13435
**Original content:** https://discourse.openehr.org/t/ref-impl-eiffel-964-fix-a-precondition-failure-in-string-replace-substring-all-caused-by-message-db-create-message-content-passing-it-a-void-replacement-string/13435