diff options
-rw-r--r-- | src/grt/grt-arch_none.adb | 7 | ||||
-rw-r--r-- | src/grt/grt-arch_none.ads | 6 |
2 files changed, 0 insertions, 13 deletions
diff --git a/src/grt/grt-arch_none.adb b/src/grt/grt-arch_none.adb deleted file mode 100644 index 14db1c7..0000000 --- a/src/grt/grt-arch_none.adb +++ /dev/null @@ -1,7 +0,0 @@ -package body Grt.Arch_None is - function Get_Time_Stamp return Ghdl_U64 is - begin - return 0; - end Get_Time_Stamp; -end Grt.Arch_None; - diff --git a/src/grt/grt-arch_none.ads b/src/grt/grt-arch_none.ads deleted file mode 100644 index f8ae437..0000000 --- a/src/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; |