From 8e84ebdf517fde66db0659245b88319f4da25a72 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 26 Aug 2021 08:07:34 +0200
Subject: PSL: handle inf in star repeat sequence.  Fix #1832

---
 src/psl/psl-prints.adb | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/psl/psl-prints.adb')

diff --git a/src/psl/psl-prints.adb b/src/psl/psl-prints.adb
index c9b343760..e1beb27c2 100644
--- a/src/psl/psl-prints.adb
+++ b/src/psl/psl-prints.adb
@@ -24,7 +24,8 @@ package body PSL.Prints is
    function Get_Priority (N : Node) return Priority is
    begin
       case Get_Kind (N) is
-         when N_Never | N_Always =>
+         when N_Never
+            | N_Always =>
             return Prio_FL_Invariance;
          when N_Eventually
            | N_Next
@@ -65,6 +66,7 @@ package body PSL.Prints is
             return Prio_Bool_Imp;
          when N_Name_Decl
            | N_Number
+           | N_Inf
            | N_True
            | N_False
            | N_EOS
@@ -149,6 +151,8 @@ package body PSL.Prints is
             begin
                Put (Str (2 .. Str'Last));
             end;
+         when N_Inf =>
+            Put ("inf");
          when N_Name_Decl =>
             Put (Image (Get_Identifier (N)));
          when N_HDL_Expr
-- 
cgit v1.2.3