From f93d9815207d55fee98fa74bc30fc27ca5d2af04 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 30 Nov 2018 20:55:23 +0100
Subject: psl-rewrites: handle and/or seq.

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

(limited to 'src/psl')

diff --git a/src/psl/psl-rewrites.adb b/src/psl/psl-rewrites.adb
index de88939de..b575b3015 100644
--- a/src/psl/psl-rewrites.adb
+++ b/src/psl/psl-rewrites.adb
@@ -501,7 +501,9 @@ package body PSL.Rewrites is
            | N_Goto_Repeat_Seq
            | N_Sequence_Instance
            | N_Endpoint_Instance
-           | N_Braced_SERE =>
+           | N_Braced_SERE
+           | N_And_Seq
+           | N_Or_Seq =>
             return Rewrite_SERE (N);
          when N_Imp_Seq
            | N_Overlap_Imp_Seq =>
-- 
cgit v1.2.3