diff options
Diffstat (limited to 'src/ghdldrv/ghdlsynth.adb')
| -rw-r--r-- | src/ghdldrv/ghdlsynth.adb | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/ghdldrv/ghdlsynth.adb b/src/ghdldrv/ghdlsynth.adb index f887279a7..4e296dc76 100644 --- a/src/ghdldrv/ghdlsynth.adb +++ b/src/ghdldrv/ghdlsynth.adb @@ -20,6 +20,7 @@ with Ghdllocal; use Ghdllocal; with Ghdlcomp; with Ghdlmain; use Ghdlmain; with Ghdlsimul; +with Options; use Options; with Simul.Annotations; @@ -44,7 +45,7 @@ package body Ghdlsynth is procedure Decode_Option (Cmd : in out Command_Synth; Option : String; Arg : String; - Res : out Option_Res); + Res : out Option_State); procedure Perform_Action (Cmd : Command_Synth; Args : Argument_List); @@ -66,7 +67,7 @@ package body Ghdlsynth is procedure Decode_Option (Cmd : in out Command_Synth; Option : String; Arg : String; - Res : out Option_Res) is + Res : out Option_State) is begin if Option = "--disp-noinline" then Cmd.Disp_Inline := False; |