diff options
Diffstat (limited to 'src/grt/grt-lib.adb')
| -rw-r--r-- | src/grt/grt-lib.adb | 6 |
1 files changed, 3 insertions, 3 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 |