diff options
Diffstat (limited to 'src/bug.adb')
| -rw-r--r-- | src/bug.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bug.adb b/src/bug.adb index 667489de0..43f28317a 100644 --- a/src/bug.adb +++ b/src/bug.adb @@ -66,7 +66,7 @@ package body Bug is New_Line (Standard_Error); Put_Line (Standard_Error, - "******************** GHDL Bug occured ****************************"); + "******************** GHDL Bug occurred ***************************"); Put_Line (Standard_Error, "Please report this bug on https://github.com/ghdl/ghdl/issues"); |