From e2bcb854e0a3b26122576232db71690a5c395dfc Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 16 May 2020 21:47:00 +0200
Subject: synth-decls: can initialize a static variable with a constant.

---
 src/synth/synth-decls.adb | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/synth/synth-decls.adb b/src/synth/synth-decls.adb
index df5385655..153a4e077 100644
--- a/src/synth/synth-decls.adb
+++ b/src/synth/synth-decls.adb
@@ -801,6 +801,7 @@ package body Synth.Decls is
             Init := Create_Value_Default (Obj_Typ);
          end if;
          if Get_Instance_Const (Syn_Inst) then
+            Init := Strip_Alias_Const (Init);
             Init := Unshare (Init, Current_Pool);
             Create_Object (Syn_Inst, Decl, Init);
          else
-- 
cgit v1.2.3