diff options
Diffstat (limited to 'src/bug.adb')
| -rw-r--r-- | src/bug.adb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/bug.adb b/src/bug.adb index 334717399..f16f62d5f 100644 --- a/src/bug.adb +++ b/src/bug.adb @@ -19,7 +19,7 @@ with Ada.Command_Line; use Ada.Command_Line; with GNAT.Directory_Operations; with Simple_IO; use Simple_IO; -with Version; use Version; +with Version; package body Bug is -- Declared in the files generated by gnatbind. @@ -69,7 +69,9 @@ package body Bug is ("******************** GHDL Bug occurred ***************************"); Put_Line_Err ("Please report this bug on https://github.com/ghdl/ghdl/issues"); - Put_Line_Err ("GHDL release: " & Ghdl_Ver & ' ' & Ghdl_Release); + Put_Line_Err ( "GHDL release: " & + Version.Ghdl_Ver & ' ' & Version.Ghdl_Release + ); Put_Line_Err ("Compiled with " & Get_Gnat_Version); Put_Line_Err ("Target: " & Standard'Target_Name); Put_Line_Err (GNAT.Directory_Operations.Get_Current_Dir); |