vhdl-sem_psl: avoid a crash in synth on incorrect clock.

1 files changed, 2 insertions, 0 deletions

diff --git a/src/vhdl/vhdl-sem_psl.adb b/src/vhdl/vhdl-sem_psl.adb
index 0e077b8c9..da5eaa2a2 100644
--- a/src/vhdl/vhdl-sem_psl.adb
+++ b/src/vhdl/vhdl-sem_psl.adb
@@ -24,6 +24,7 @@ with PSL.Types; use PSL.Types;
 with PSL.Nodes; use PSL.Nodes;
 with PSL.Subsets;
 with PSL.Hash;
+with PSL.Rewrites;
 with PSL.Errors; use PSL.Errors;
 
 with Vhdl.Sem_Expr;
@@ -1002,6 +1003,7 @@ package body Vhdl.Sem_Psl is
          Report_End_Group;
       end if;
       Expr := Sem_Boolean (Get_Psl_Boolean (Stmt));
+      Expr := PSL.Rewrites.Rewrite_Boolean (Expr);
       Set_Psl_Boolean (Stmt, Expr);
       Current_Psl_Default_Clock := Stmt;
    end Sem_Psl_Default_Clock;