diff options
Diffstat (limited to 'src/grt/grt-files_operations.ads')
| -rw-r--r-- | src/grt/grt-files_operations.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/grt/grt-files_operations.ads b/src/grt/grt-files_operations.ads index c8c7d9d9a..e9da80597 100644 --- a/src/grt/grt-files_operations.ads +++ b/src/grt/grt-files_operations.ads @@ -24,6 +24,7 @@ with Interfaces; with Grt.Types; use Grt.Types; +with Grt.Vhdl_Types; use Grt.Vhdl_Types; with Grt.Stdio; package Grt.Files_Operations is |