From 69bbb91b44a1677fd1a0e5accce91f756b06727a Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 9 May 2015 22:01:45 +0200
Subject: Rename Get_Location_Str to Image.

---
 src/flags.adb | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

(limited to 'src/flags.adb')

diff --git a/src/flags.adb b/src/flags.adb
index fc00368a5..4bd150124 100644
--- a/src/flags.adb
+++ b/src/flags.adb
@@ -40,14 +40,17 @@ package body Flags is
       else
          Flag_String (4) := 't';
       end if;
-      if not Flag_Time_64 and Vhdl_Std = Vhdl_87 then
+
+      if Flag_Time_64 then
+         --  Time_Resolution is always fs.
+         Flag_String (5) := '-';
+      elsif Vhdl_Std = Vhdl_87 then
+         --  Time_Resolution is fixed in vhdl87, as time expressions are
+         --  locally static.
          Flag_String (5) := Time_Resolution;
       else
-         if Flag_Time_64 then
-            Flag_String (5) := '-';
-         else
-            Flag_String (5) := '?';
-         end if;
+         --  Time_Resolution can be changed at simulation time.
+         Flag_String (5) := '?';
       end if;
    end Create_Flag_String;
 end Flags;
-- 
cgit v1.2.3