From 88739a3079524a788050656d5c7abc9c19e859ab Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Mon, 10 Feb 2014 01:42:35 +0100 Subject: ghdldrv: fix indentation. --- translate/ghdldrv/ghdldrv.adb | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/translate/ghdldrv/ghdldrv.adb b/translate/ghdldrv/ghdldrv.adb index 8a30df5..72500ef 100644 --- a/translate/ghdldrv/ghdldrv.adb +++ b/translate/ghdldrv/ghdldrv.adb @@ -649,8 +649,7 @@ package body Ghdldrv is elsif Opt (3) = 'l' then Add_Arguments (Linker_Args, Opt); else - Error - ("unknown tool name in '-W" & Opt (3) & ",' option"); + Error ("unknown tool name in '-W" & Opt (3) & ",' option"); raise Option_Error; end if; Res := Option_Ok; -- cgit