diff options
Diffstat (limited to 'options.ads')
| -rw-r--r-- | options.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/options.ads b/options.ads index c5fa09c14..d9dc890cd 100644 --- a/options.ads +++ b/options.ads @@ -12,7 +12,7 @@ -- for more details. -- -- You should have received a copy of the GNU General Public License --- along with GCC; see the file COPYING. If not, write to the Free +-- along with GHDL; see the file COPYING. If not, write to the Free -- Software Foundation, 59 Temple Place - Suite 330, Boston, MA -- 02111-1307, USA. |