Don't require the module name after end

This commit is contained in:
2025-06-03 12:14:25 +02:00
parent 23885e5b95
commit 2843c5b22c
7 changed files with 315 additions and 176 deletions

View File

@@ -1,7 +1,7 @@
DEFINITION MODULE Common;
TYPE
ShortString = ARRAY[0..255] OF CHAR;
ShortString = ARRAY[1..256] OF CHAR;
Identifier = ARRAY[1..256] OF CHAR;
PIdentifier = POINTER TO Identifier;