diff --git a/documentation/trunk/solutions/dates-and-times/eiffeltime/eiffeltime-tutorial/interval.wiki b/documentation/trunk/solutions/dates-and-times/eiffeltime/eiffeltime-tutorial/interval.wiki index 24508beb..cabb40f2 100644 --- a/documentation/trunk/solutions/dates-and-times/eiffeltime/eiffeltime-tutorial/interval.wiki +++ b/documentation/trunk/solutions/dates-and-times/eiffeltime/eiffeltime-tutorial/interval.wiki @@ -8,6 +8,7 @@ The creation procedure make (s, e: G) + takes as arguments two instances of type G (or G's actual type from a declaration, e.g., my_time_interval: INTERVAL [TIME] ), which will become the start bound and the end bound of the INTERVAL. The start bound argument must be "before" the end bound argument (i.e., s <= e). make creates twins of its arguments so that the objects referenced as arguments will not change even if the values in the INTERVAL change. ====Interval measurement====