diff options
Diffstat (limited to 'src/grt/grt-arch_none.ads')
| -rw-r--r-- | src/grt/grt-arch_none.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/grt/grt-arch_none.ads b/src/grt/grt-arch_none.ads new file mode 100644 index 000000000..f8ae437d6 --- /dev/null +++ b/src/grt/grt-arch_none.ads @@ -0,0 +1,6 @@ +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; |