diff options
Diffstat (limited to 'options.ads')
-rw-r--r-- | options.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/options.ads b/options.ads index d9dc890..24a844b 100644 --- a/options.ads +++ b/options.ads @@ -24,4 +24,7 @@ package Options is -- Disp help about these options. procedure Disp_Options_Help; + + -- Front-end intialization. + procedure Initialize; end Options; |