diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-03-17 05:03:36 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-03-18 05:22:04 +0100 |
| commit | 73a6ed8e5e982034920d8c9fe95faddefdcffa43 (patch) | |
| tree | 14da67e29b2452272a908e2145e9c87df84a53ef /src/grt/grt-astdio.adb | |
| parent | d0b0f30b71d77e2dbf9952e9accd8e50e69fc731 (diff) | |
| download | ghdl-73a6ed8e5e982034920d8c9fe95faddefdcffa43.tar.gz ghdl-73a6ed8e5e982034920d8c9fe95faddefdcffa43.tar.bz2 ghdl-73a6ed8e5e982034920d8c9fe95faddefdcffa43.zip | |
PSL: add counters, generate rti and add --psl-report
Diffstat (limited to 'src/grt/grt-astdio.adb')
| -rw-r--r-- | src/grt/grt-astdio.adb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/grt/grt-astdio.adb b/src/grt/grt-astdio.adb index 456d024ac..a572dd3cc 100644 --- a/src/grt/grt-astdio.adb +++ b/src/grt/grt-astdio.adb @@ -56,6 +56,12 @@ package body Grt.Astdio is Put (Stream, Nl); end New_Line; + procedure Put_Line (Stream : FILEs; Str : String) is + begin + Put (Stream, Str); + New_Line (Stream); + end Put_Line; + procedure Put (Str : String) is S : size_t; |