From c5f28f50a0b8f796f7f1775342c5922851168459 Mon Sep 17 00:00:00 2001 From: Ondrej Ille Date: Sun, 21 Mar 2021 11:12:42 +0100 Subject: src: Move --psl-report-uncovered to run options, not analysis options. --- src/vhdl/translate/trans-chap9.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/vhdl/translate') diff --git a/src/vhdl/translate/trans-chap9.adb b/src/vhdl/translate/trans-chap9.adb index 60b19d222..158adea33 100644 --- a/src/vhdl/translate/trans-chap9.adb +++ b/src/vhdl/translate/trans-chap9.adb @@ -494,7 +494,7 @@ package body Trans.Chap9 is Start_Association (Assocs, Ghdl_Psl_Cover_Failed); New_Association (Assocs, New_Obj_Value (Msg_Var)); New_Association (Assocs, New_Lit (Get_Ortho_Literal - (Severity_Level_Error))); + (Severity_Level_Warning))); New_Association (Assocs, New_Address (New_Obj (Loc), Ghdl_Location_Ptr_Node)); New_Procedure_Call (Assocs); -- cgit v1.2.3