1 files changed, 3 insertions, 0 deletions
diff --git a/src/files_map.adb b/src/files_map.adb
index 1d9a5c7b8..4cb6d82bf 100644
--- a/src/files_map.adb
+++ b/src/files_map.adb
@@ -569,6 +569,9 @@ package body Files_Map is
                then
                   return Language_Verilog;
                end if;
+               if Ext (E + 1 .. Ext'Last) = "psl" then
+                  return Language_Psl;
+               end if;
             when others =>
                return Language_Unknown;
          end case;