diff --git a/Test.obn b/Test.obn
index f4deaccac3d5c739ec23505c314e13b8d333e776..babecff95eba9648125ff9e686de586d643d366e 100644 (file)
--- a/Test.obn
+++ b/Test.obn
MODULE Test;
-IMPORT
- Out,
- System;
-
-TYPE
- RBase = RECORD END;
- R = RECORD (RBase) END;
-
BEGIN
- Out.Open;
- IF FALSE THEN
- Out.String("Hello World!"); Out.Ln;
- END;
- System.Halt(1);
+ ASSERT(ODD(5));
END Test.