From 0f58a5ac19ab630f62a1db0c04d359653772e81a Mon Sep 17 00:00:00 2001 From: norayr Date: Thu, 29 Dec 2016 20:14:24 +0400 Subject: [PATCH] test also compiles. --- test.Mod | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/test.Mod b/test.Mod index aeec3a5..0c5d897 100644 --- a/test.Mod +++ b/test.Mod @@ -1,11 +1,13 @@ -MODULE test. +MODULE test; -IMPORT Day; +IMPORT Days; -VAR today: Days.Day; +VAR today, yesterday, tomorrow: Days.Day; BEGIN today := Days.mon; (*init*) + yesterday := Days.Prev(today); + tomorrow := Days.Next(today); END test.