diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-04-17 08:15:14 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-04-17 18:29:59 +0200 |
| commit | 035fdddb36c73f5eb70df03f9e15565124168d94 (patch) | |
| tree | 254cf50ee28162e10779b58c44f2d3cd5b21ff1b /src/grt/grt-images.ads | |
| parent | 25879b2e1b2ef16a0f21b96e0bd51e40b4acd765 (diff) | |
| download | ghdl-035fdddb36c73f5eb70df03f9e15565124168d94.tar.gz ghdl-035fdddb36c73f5eb70df03f9e15565124168d94.tar.bz2 ghdl-035fdddb36c73f5eb70df03f9e15565124168d94.zip | |
grt-vpi: free iterator to fix memory leak. Fix #1233
Diffstat (limited to 'src/grt/grt-images.ads')
0 files changed, 0 insertions, 0 deletions