|
@@ -41,7 +41,7 @@ END Send;
|
|
(** Write a string to the trace output. *)
|
|
(** Write a string to the trace output. *)
|
|
|
|
|
|
PROCEDURE String*(CONST s: ARRAY OF CHAR);
|
|
PROCEDURE String*(CONST s: ARRAY OF CHAR);
|
|
-VAR len, n: SIZE; res: WORD;
|
|
|
|
|
|
+VAR len, n: LONGINT; res: WORD;
|
|
BEGIN
|
|
BEGIN
|
|
len := 0; n := LEN(s);
|
|
len := 0; n := LEN(s);
|
|
WHILE (len # n) & (s[len] # 0X) DO INC(len) END;
|
|
WHILE (len # n) & (s[len] # 0X) DO INC(len) END;
|