Don't require the module name after end

This commit is contained in:
2025-06-03 12:14:59 +02:00
parent 1983ef8e71
commit 82f0d40a56
10 changed files with 397 additions and 223 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;