1 files changed, 2 insertions, 0 deletions
diff --git a/errorout.adb b/errorout.adb
index 51611f510..d0d9aba8d 100644
--- a/errorout.adb
+++ b/errorout.adb
@@ -770,6 +770,8 @@ package body Errorout is
             return Disp_Label (Node, "concurrent assertion");
          when Iir_Kind_Psl_Assert_Statement =>
             return Disp_Label (Node, "PSL assertion");
+         when Iir_Kind_Psl_Cover_Statement =>
+            return Disp_Label (Node, "PSL cover");
          when Iir_Kind_Psl_Default_Clock =>
             return "PSL default clock";