From cd99d037e428d89696106e1a50586d876af25c97 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 18 Jan 2018 19:00:56 +0100
Subject: disp_tree: adjust Image_Name_Id

---
 src/vhdl/disp_tree.adb | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/vhdl/disp_tree.adb b/src/vhdl/disp_tree.adb
index f820fcdd7..b20ae8a9f 100644
--- a/src/vhdl/disp_tree.adb
+++ b/src/vhdl/disp_tree.adb
@@ -155,10 +155,12 @@ package body Disp_Tree is
    is
       use Name_Table;
    begin
-      if Ident /= Null_Identifier then
-         return ''' & Image (Ident) & ''';
-      else
+      if Ident = Null_Identifier then
          return "<anonymous>";
+      elsif Is_Character (Ident) then
+         return Image (Ident);
+      else
+         return '"' & Image (Ident) & '"';
       end if;
    end Image_Name_Id;
 
-- 
cgit v1.2.3