From 1b3e8e072c41a2e30d9988b6f17950ad3401c8a1 Mon Sep 17 00:00:00 2001
From: eiffel-org <eiffel-org@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Tue, 5 May 2026 15:23:26 +0000
Subject: [PATCH] Updated wikipage Design by Contract and Assertions.
 (Signed-off-by:roc_admin).

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2510 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
---
 .../eiffel-net/design-contract-and-assertions.wiki            | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/documentation/25.12/solutions/dotnet/eiffel-net-language/eiffel-net/design-contract-and-assertions.wiki b/documentation/25.12/solutions/dotnet/eiffel-net-language/eiffel-net/design-contract-and-assertions.wiki
index 84d0a195..5e558fb3 100644
--- a/documentation/25.12/solutions/dotnet/eiffel-net-language/eiffel-net/design-contract-and-assertions.wiki
+++ b/documentation/25.12/solutions/dotnet/eiffel-net-language/eiffel-net/design-contract-and-assertions.wiki
@@ -1,3 +1,5 @@
+[[Property:modification_date|Tue, 05 May 2026 15:23:25 GMT]]
+[[Property:publication_date|Tue, 05 May 2026 15:23:25 GMT]]
 [[Property:title|Design by Contract and Assertions]]
 [[Property:weight|5]]
 [[Property:uuid|41172f82-227a-96b1-2dad-624f04374ee0]]
@@ -113,7 +115,7 @@ If we remove the instructions from a routine and leave its signature, header com
         end
 </code>
 
-This specification of <code>set_second</code> tells us what is required of reuse consumers if they wish to use <code>set_second</code> and what <code>set_second</code> promises to do for them. Importantly, it does that without revealing how it does it does what it does. 
+This specification of <code>set_second</code> tells us what is required of reuse consumers if they wish to use <code>set_second</code> and what <code>set_second</code> promises to do for them. Importantly, it does that without revealing how it does what it does. 
 
 So, this specification view, officially called the contract view, is how consumers of class <code>TIME_OF_DAY</code> would view the feature.