diff options
Diffstat (limited to 'bank-eiffel/bank.ecf')
| -rw-r--r-- | bank-eiffel/bank.ecf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bank-eiffel/bank.ecf b/bank-eiffel/bank.ecf index b3bf92c..1eef831 100644 --- a/bank-eiffel/bank.ecf +++ b/bank-eiffel/bank.ecf | |||
| @@ -4,7 +4,7 @@ | |||
| 4 | <description>FOOP Exercise #3</description> | 4 | <description>FOOP Exercise #3</description> |
| 5 | <root class="APPLICATION" feature="make"/> | 5 | <root class="APPLICATION" feature="make"/> |
| 6 | <version major="0" minor="1" release="0" build="0" product="bank"/> | 6 | <version major="0" minor="1" release="0" build="0" product="bank"/> |
| 7 | <option warning="true" void_safety="none"> | 7 | <option warning="true" is_attached_by_default="true" void_safety="all"> |
| 8 | <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/> | 8 | <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/> |
| 9 | </option> | 9 | </option> |
| 10 | <setting name="executable_name" value="bank"/> | 10 | <setting name="executable_name" value="bank"/> |