From d9b490f155b7a18184ba8e851832faca042acb4a Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sun, 25 Sep 2022 06:35:55 +0200 Subject: synth-vhdl_stmts: fix missing newline in default assertion messages --- src/synth/synth-vhdl_stmts.adb | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src') diff --git a/src/synth/synth-vhdl_stmts.adb b/src/synth/synth-vhdl_stmts.adb index ac121e292..e7477b5bb 100644 --- a/src/synth/synth-vhdl_stmts.adb +++ b/src/synth/synth-vhdl_stmts.adb @@ -3558,11 +3558,11 @@ package body Synth.Vhdl_Stmts is | Iir_Kind_Assertion_Statement | Iir_Kind_Concurrent_Assertion_Statement | Iir_Kind_Psl_Assert_Directive => - Put_Err ("Assertion violation."); + Put_Line_Err ("Assertion violation."); when Iir_Kind_Psl_Assume_Directive => - Put_Err ("Assumption violation."); + Put_Line_Err ("Assumption violation."); when Iir_Kind_Psl_Cover_Directive => - Put_Err ("sequence coveredr"); + Put_Line_Err ("sequence covered."); when others => raise Internal_Error; end case; -- cgit v1.2.3