diff options
Diffstat (limited to 'src/psl/psl-prints.adb')
| -rw-r--r-- | src/psl/psl-prints.adb | 18 |
1 files changed, 16 insertions, 2 deletions
diff --git a/src/psl/psl-prints.adb b/src/psl/psl-prints.adb index 9bc05d940..cdd99c0c3 100644 --- a/src/psl/psl-prints.adb +++ b/src/psl/psl-prints.adb @@ -58,6 +58,8 @@ package body PSL.Prints is return Prio_Seq_Or; when N_And_Prop => return Prio_Seq_And; + when N_Paren_Prop => + return Prio_FL_Paren; when N_Imp_Seq | N_Overlap_Imp_Seq | N_Log_Imp_Prop @@ -372,9 +374,21 @@ package body PSL.Prints is when N_Before => Print_Binary_Property_SI (" before", Prop, Prio); when N_Or_Prop => - Print_Binary_Property (" || ", Prop, Prio); + if True then + Print_Binary_Property (" or ", Prop, Prio); + else + Print_Binary_Property (" || ", Prop, Prio); + end if; when N_And_Prop => - Print_Binary_Property (" && ", Prop, Prio); + if True then + Print_Binary_Property (" and ", Prop, Prio); + else + Print_Binary_Property (" && ", Prop, Prio); + end if; + when N_Paren_Prop => + Put ("("); + Print_Property (Get_Property (Prop), Prio); + Put (")"); when N_Imp_Seq => Print_Property (Get_Sequence (Prop), Prio); Put (" |=> "); |