1 files changed, 1 insertions, 5 deletions
diff --git a/src/ghdldrv/ghdllocal.adb b/src/ghdldrv/ghdllocal.adb
index a28c44bee..fbffb5f1d 100644
--- a/src/ghdldrv/ghdllocal.adb
+++ b/src/ghdldrv/ghdllocal.adb
@@ -442,11 +442,7 @@ package body Ghdllocal is
             when Lib_Standard =>
                Add_Library_Path ("ieee");
             when Lib_Synopsys =>
-               if Vhdl_Std >= Vhdl_08 then
-                  Warning ("--ieee=synopsys is ignored for --std=08");
-               else
-                  Add_Library_Path ("synopsys");
-               end if;
+               Add_Library_Path ("synopsys");
             when Lib_Mentor =>
                if Vhdl_Std >= Vhdl_08 then
                   Warning ("--ieee=mentor is ignored for --std=08");