1 files changed, 8 insertions, 0 deletions
diff --git a/src/ghdldrv/ghdlsynth.adb b/src/ghdldrv/ghdlsynth.adb
index e2cf19e5b..c6183a193 100644
--- a/src/ghdldrv/ghdlsynth.adb
+++ b/src/ghdldrv/ghdlsynth.adb
@@ -18,6 +18,7 @@ with GNAT.OS_Lib; use GNAT.OS_Lib;
 
 with Types; use Types;
 with Name_Table;
+with Files_Map;
 with Ghdllocal; use Ghdllocal;
 with Ghdlcomp; use Ghdlcomp;
 with Ghdlmain; use Ghdlmain;
@@ -304,6 +305,13 @@ package body Ghdlsynth is
                Libraries.Work_Library_Name := Id;
                Libraries.Load_Work_Library (True);
             else
+               if Files_Map.Find_Language (Arg) /= Language_Vhdl then
+                  Errorout.Report_Msg
+                    (Warnid_Library, Option, No_Source_Coord,
+                     "unexpected extension for vhdl file %i",
+                     (1 => +Name_Table.Get_Identifier (Arg)));
+               end if;
+
                Ghdlcomp.Compile_Load_File (Arg);
             end if;
          end;