diff options
Diffstat (limited to 'src/grt/grt-options.adb')
| -rw-r--r-- | src/grt/grt-options.adb | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb index bf29c1a5e..2b07278b1 100644 --- a/src/grt/grt-options.adb +++ b/src/grt/grt-options.adb @@ -49,6 +49,14 @@ package body Grt.Options is when others => Error ("unhandled time resolution"); end case; + + -- For AMS. + -- (Don't use **, as it requires the runtime). + Time_Real_To_Phys := 1.0; + for I in 1 .. Time_Resolution_Scale loop + Time_Real_To_Phys := Time_Real_To_Phys * 1000.0; + end loop; + Time_Phys_To_Real := 1.0 / Time_Real_To_Phys; end Set_Time_Resolution; procedure Help |