1 files changed, 10 insertions, 1 deletions
diff --git a/translate/grt/grt-lib.adb b/translate/grt/grt-lib.adb
index dcddcf29b..d35c73b1f 100644
--- a/translate/grt/grt-lib.adb
+++ b/translate/grt/grt-lib.adb
@@ -106,6 +106,16 @@ package body Grt.Lib is
       Do_Report ("assertion", Str, Severity, Loc, Unit);
    end Ghdl_Assert_Failed;
 
+   procedure Ghdl_Psl_Assert_Failed
+     (Str : Std_String_Ptr;
+      Severity : Integer;
+      Loc : Ghdl_Location_Ptr;
+      Unit : Ghdl_Rti_Access)
+   is
+   begin
+      Do_Report ("psl assertion", Str, Severity, Loc, Unit);
+   end Ghdl_Psl_Assert_Failed;
+
    procedure Ghdl_Report
      (Str : Std_String_Ptr;
       Severity : Integer;
@@ -257,7 +267,6 @@ package body Grt.Lib is
          return 1.0 / Res;
       end if;
    end Ghdl_Real_Exp;
-
 end Grt.Lib;