From 86df7e55e05454e57723db8af91248eec68670f4 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 29 Jul 2022 21:01:32 +0200
Subject: psl-rewrites.adb: fix inclusive before.  Fix #2153

---
 src/psl/psl-rewrites.adb | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/psl/psl-rewrites.adb b/src/psl/psl-rewrites.adb
index 34404adec..885d478b6 100644
--- a/src/psl/psl-rewrites.adb
+++ b/src/psl/psl-rewrites.adb
@@ -463,13 +463,15 @@ package body PSL.Rewrites is
       B1, B2 : Node;
       N_B2 : Node;
    begin
+      --  b1 before b2
       B1 := Rewrite_Boolean (Get_Left (N));
       B2 := Rewrite_Boolean (Get_Right (N));
       N_B2 := Build_Bool_Not (B2);
+      --  (!b1 && !b2)[*]
       Res := Build_Star (Build_Bool_And (Build_Bool_Not (B1), N_B2));
 
       if Get_Inclusive_Flag (N) then
-         R := B2;
+         R := B1;
       else
          R := Build_Bool_And (B1, N_B2);
       end if;
-- 
cgit v1.2.3