diff options
Diffstat (limited to 'src/vhdl/libghdl')
-rw-r--r-- | src/vhdl/libghdl/libghdl.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/vhdl/libghdl/libghdl.ads b/src/vhdl/libghdl/libghdl.ads index 4d1595a10..7d69cde23 100644 --- a/src/vhdl/libghdl/libghdl.ads +++ b/src/vhdl/libghdl/libghdl.ads @@ -18,6 +18,8 @@ with Types; use Types; with Vhdl.Nodes; use Vhdl.Nodes; +with Ghdlsynth_Maybe; +pragma Unreferenced (Ghdlsynth_Maybe); package Libghdl is -- Perform early initializations, and set hooks. |