aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-sem_types.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/vhdl/vhdl-sem_types.adb')
-rw-r--r--src/vhdl/vhdl-sem_types.adb2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/vhdl/vhdl-sem_types.adb b/src/vhdl/vhdl-sem_types.adb
index 1d8bb3a33..a0b9a1c4d 100644
--- a/src/vhdl/vhdl-sem_types.adb
+++ b/src/vhdl/vhdl-sem_types.adb
@@ -1364,7 +1364,7 @@ package body Vhdl.Sem_Types is
end if;
-- LRM93 2.4
-- A resolution function must be a [pure] function;
- if Flags.Vhdl_Std >= Vhdl_93 and then Get_Pure_Flag (Func) = False then
+ if not Flags.Flag_Relaxed_Rules and then not Get_Pure_Flag (Func) then
if Atype /= Null_Iir then
Error_Msg_Sem (+Atype, "resolution %n must be pure", +Func);
end if;