From 847de3fbeb301f60b00d59524c14cf74f562c268 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 15 Oct 2019 20:39:54 +0200
Subject: vhdl: Add the implicit [*] at start of PSL cover sequence.

---
 src/psl/psl-nfas-utils.ads | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/psl/psl-nfas-utils.ads')

diff --git a/src/psl/psl-nfas-utils.ads b/src/psl/psl-nfas-utils.ads
index f30f665a8..3f11ee880 100644
--- a/src/psl/psl-nfas-utils.ads
+++ b/src/psl/psl-nfas-utils.ads
@@ -33,6 +33,10 @@ package PSL.NFAs.Utils is
    --  N must be a boolean expression.
    function Has_EOS (N : Node) return Boolean;
 
+   --  Ensure there is an edge from init state to itself, for the implicit
+   --  [*] of cover directive.
+   procedure Set_Init_Loop (N : NFA);
+
    --  Raise Program_Error if N is not internally coherent.
    procedure Check_NFA (N : NFA);
 end PSL.NFAs.Utils;
-- 
cgit v1.2.3