1 files changed, 9 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-parse.adb b/src/vhdl/vhdl-parse.adb
index e10786022..cf2a1968e 100644
--- a/src/vhdl/vhdl-parse.adb
+++ b/src/vhdl/vhdl-parse.adb
@@ -8632,6 +8632,9 @@ package body Vhdl.Parse is
    begin
       Res := Create_Iir (Iir_Kind_Psl_Assume_Directive);
 
+      --  Accept PSL tokens
+      Vhdl.Scanner.Flag_Psl := True;
+
       --  Skip 'assume'
       Scan;
 
@@ -8651,6 +8654,9 @@ package body Vhdl.Parse is
    begin
       Res := Create_Iir (Iir_Kind_Psl_Cover_Directive);
 
+      --  Accept PSL tokens
+      Vhdl.Scanner.Flag_Psl := True;
+
       --  Skip 'cover'
       Scan;
 
@@ -8667,6 +8673,9 @@ package body Vhdl.Parse is
    begin
       Res := Create_Iir (Iir_Kind_Psl_Restrict_Directive);
 
+      --  Accept PSL tokens
+      Vhdl.Scanner.Flag_Psl := True;
+
       --  Skip 'restrict'
       Scan;