diff options
Diffstat (limited to 'src/ghdldrv/ghdllocal.ads')
| -rw-r--r-- | src/ghdldrv/ghdllocal.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ghdldrv/ghdllocal.ads b/src/ghdldrv/ghdllocal.ads index 553ebfda0..a5c6fb7ef 100644 --- a/src/ghdldrv/ghdllocal.ads +++ b/src/ghdldrv/ghdllocal.ads @@ -117,7 +117,7 @@ package Ghdllocal is procedure Setup_Libraries (Load : Boolean); -- Set Exec_Prefix from program name. Called by Setup_Libraries. - procedure Set_Exec_Prefix; + procedure Set_Exec_Prefix_From_Program_Name; -- Setup library, analyze FILES, and if SAVE_LIBRARY is set save the -- work library only |