1 files changed, 14 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-sem_psl.adb b/src/vhdl/vhdl-sem_psl.adb
index bd8f98b13..4cdc834dd 100644
--- a/src/vhdl/vhdl-sem_psl.adb
+++ b/src/vhdl/vhdl-sem_psl.adb
@@ -758,6 +758,20 @@ package body Vhdl.Sem_Psl is
       Seq := Get_Psl_Sequence (Stmt);
       Seq := Sem_Sequence (Seq);
 
+      --  Expect a pure sequence.
+      case Get_Kind (Seq) is
+         when N_Sequence_Instance
+           |  N_Star_Repeat_Seq
+           |  N_Goto_Repeat_Seq
+           |  N_Plus_Repeat_Seq
+           |  N_Equal_Repeat_Seq
+           |  N_Braced_SERE
+           |  N_Clocked_SERE =>
+            null;
+         when others =>
+            Error_Msg_Sem (+Seq, "sequence expected here");
+      end case;
+
       --  Properties must be clocked.
       Sem_Psl_Directive_Clock (Stmt, Seq);
       Set_Psl_Sequence (Stmt, Seq);