diff options
Diffstat (limited to 'translate/grt/grt-arch_none.ads')
| -rw-r--r-- | translate/grt/grt-arch_none.ads | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/translate/grt/grt-arch_none.ads b/translate/grt/grt-arch_none.ads deleted file mode 100644 index f8ae437..0000000 --- a/translate/grt/grt-arch_none.ads +++ /dev/null @@ -1,6 +0,0 @@ -with Grt.Types; use Grt.Types; - -package Grt.Arch_None is - function Get_Time_Stamp return Ghdl_U64; - pragma Inline (Get_Time_Stamp); -end Grt.Arch_None; |