1 files changed, 5 insertions, 0 deletions
diff --git a/src/vhdl/parse.adb b/src/vhdl/parse.adb
index aeed1c507..a3b9a52b0 100644
--- a/src/vhdl/parse.adb
+++ b/src/vhdl/parse.adb
@@ -7155,6 +7155,11 @@ package body Parse is
    begin
       Res := Create_Iir (Iir_Kind_Psl_Assert_Statement);
 
+      --  Accept PSL tokens
+      if Flags.Vhdl_Std >= Vhdl_08 then
+         Scanner.Flag_Psl := True;
+      end if;
+
       --  Skip 'assert'
       Scan;