diff --git a/Test.obn b/Test.obn
index f76917867cb0d1bcb880b7e0cf655f116919947f..6fae5299c4ceb508ddf3708622d39e419e562a12 100644 (file)
--- a/Test.obn
+++ b/Test.obn
MODULE Test;
MODULE Test;
-VAR
- i : SHORTINT;
- s : SET;
-
-PROCEDURE X;
-END X;
-
-BEGIN
- i := SHORT(12345);
END Test.
END Test.