diff options
Diffstat (limited to 'src/files_map.adb')
-rw-r--r-- | src/files_map.adb | 3 |
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; |