2 files changed, 6 insertions, 11 deletions
diff --git a/src/grt/grt-lib.adb b/src/grt/grt-lib.adb
index 149f218eb..b6f006e4a 100644
--- a/src/grt/grt-lib.adb
+++ b/src/grt/grt-lib.adb
@@ -116,10 +116,10 @@ package body Grt.Lib is
       Do_Report ("psl assertion", Str, "Assertion violation", Severity, Loc);
    end Ghdl_Psl_Assert_Failed;
 
-   procedure Ghdl_Psl_Assume_Failed
-     (Str : Std_String_Ptr; Severity : Integer; Loc : Ghdl_Location_Ptr) is
+   procedure Ghdl_Psl_Assume_Failed (Loc : Ghdl_Location_Ptr) is
    begin
-      Do_Report ("psl assumption", Str, "Assumption violation", Severity, Loc);
+      Do_Report ("psl assumption", null, "Assumption violation",
+                 Error_Severity, Loc);
    end Ghdl_Psl_Assume_Failed;
 
    procedure Ghdl_Psl_Cover
diff --git a/src/grt/grt-lib.ads b/src/grt/grt-lib.ads
index 1f5e020d4..51f4b4a95 100644
--- a/src/grt/grt-lib.ads
+++ b/src/grt/grt-lib.ads
@@ -36,14 +36,9 @@ package Grt.Lib is
      (Str : Std_String_Ptr; Severity : Integer; Loc : Ghdl_Location_Ptr);
 
    procedure Ghdl_Psl_Assert_Failed
-     (Str : Std_String_Ptr;
-      Severity : Integer;
-      Loc : Ghdl_Location_Ptr);
-
-   procedure Ghdl_Psl_Assume_Failed
-     (Str : Std_String_Ptr;
-      Severity : Integer;
-      Loc : Ghdl_Location_Ptr);
+     (Str : Std_String_Ptr; Severity : Integer; Loc : Ghdl_Location_Ptr);
+
+   procedure Ghdl_Psl_Assume_Failed (Loc : Ghdl_Location_Ptr);
 
    --  Called when a sequence is covered (in a cover directive)
    procedure Ghdl_Psl_Cover