1 files changed, 4 insertions, 0 deletions
diff --git a/src/vhdl/sem_psl.ads b/src/vhdl/sem_psl.ads
index 25663a244..482380303 100644
--- a/src/vhdl/sem_psl.ads
+++ b/src/vhdl/sem_psl.ads
@@ -20,7 +20,11 @@ with Iirs; use Iirs;
 
 package Sem_Psl is
    procedure Sem_Psl_Declaration (Stmt : Iir);
+
+   --  May return a non-psl concurrent assertion statement.
    function Sem_Psl_Assert_Statement (Stmt : Iir) return Iir;
+
+   procedure Sem_Psl_Cover_Statement (Stmt : Iir);
    procedure Sem_Psl_Default_Clock (Stmt : Iir);
    function Sem_Psl_Name (Name : Iir) return Iir;
 end Sem_Psl;