index dce767ca8def8383e98c1f243fbeddd0b719edcf..9a923c25a28f0354709f752196232d1b957c952d 100644 (file)
--- a/Out.obn
+++ b/Out.obn
PROCEDURE String*(str : ARRAY OF CHAR);
END String;
PROCEDURE String*(str : ARRAY OF CHAR);
END String;
-PROCEDURE Int*(i, n : LONGINT);
+PROCEDURE Int*(i : HUGEINT; n : INTEGER);
END Int;
PROCEDURE Real*(x : REAL; n : INTEGER);
END Int;
PROCEDURE Real*(x : REAL; n : INTEGER);