diff options
| author | Jonsba <jonasb@tranquille.ch> | 2016-07-26 18:59:08 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2016-07-26 18:59:08 +0200 |
| commit | cc352d278fcce918d374406ff64c27cde0a59402 (patch) | |
| tree | 74372f5905b98a854324431761aa9b002915894b /src/grt/grt-vstrings.ads | |
| parent | 7776856c175ed776c7606ad48f8170dcb79243a9 (diff) | |
| download | ghdl-cc352d278fcce918d374406ff64c27cde0a59402.tar.gz ghdl-cc352d278fcce918d374406ff64c27cde0a59402.tar.bz2 ghdl-cc352d278fcce918d374406ff64c27cde0a59402.zip | |
Adding support for a wave option file that selects signals to be displayed (#121)
Adding support for a wave option file that selects signals to be displayed on the waveform (currently only works with the ghw wave format). Only full signal paths are supported now (no wildcards). Wave option file version set to 1.0.
Diffstat (limited to 'src/grt/grt-vstrings.ads')
| -rw-r--r-- | src/grt/grt-vstrings.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/grt/grt-vstrings.ads b/src/grt/grt-vstrings.ads index 067b54c6b..80563e5a3 100644 --- a/src/grt/grt-vstrings.ads +++ b/src/grt/grt-vstrings.ads @@ -27,6 +27,7 @@ with Grt.Types; use Grt.Types; with System; use System; package Grt.Vstrings is + pragma Preelaborate; -- A Vstring (Variable string) is an object which contains an unbounded -- string. type Vstring is limited private; |