From ff3105a7a8b8298771c64fd13171e33385f6fcc8 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 13 Oct 2021 20:21:22 +0200
Subject: synth: add support for sequence instance in vunit.  Fix #1889

---
 src/psl/psl-build.adb | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/psl')

diff --git a/src/psl/psl-build.adb b/src/psl/psl-build.adb
index b9a0ccf9b..451466608 100644
--- a/src/psl/psl-build.adb
+++ b/src/psl/psl-build.adb
@@ -973,7 +973,8 @@ package body PSL.Build is
    begin
       case Get_Kind (N) is
          when N_Sequences
-           | N_Booleans =>
+           | N_Booleans
+           | N_Sequence_Instance =>
             --  Build A(S) or A(B)
             R := Build_SERE_FA (N);
             return Determinize.Determinize (R);
-- 
cgit v1.2.3