diff --git a/Test.obn b/Test.obn
index babecff95eba9648125ff9e686de586d643d366e..ea2d143a6b9a4cd952a1d30505f5ff09d90616ea 100644 (file)
--- a/Test.obn
+++ b/Test.obn
MODULE Test;
MODULE Test;
+ VAR
+ x : INTEGER;
+ p : PROCEDURE;
+
+ PROCEDURE X;
+ BEGIN
+ x := 1;
+ x := 2;
+ x := 3;
+ p
+ END X;
+
BEGIN
BEGIN
- ASSERT(ODD(5));
+ X;
END Test.
END Test.