From 9c4519e0c72187f95b6a91e95564ee6a1f45efc7 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 21 Oct 2019 20:09:18 +0200
Subject: psl: add active state.

---
 src/vhdl/vhdl-prints.adb | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/vhdl')

diff --git a/src/vhdl/vhdl-prints.adb b/src/vhdl/vhdl-prints.adb
index 0ed2d8f31..88ae34fe6 100644
--- a/src/vhdl/vhdl-prints.adb
+++ b/src/vhdl/vhdl-prints.adb
@@ -3570,6 +3570,13 @@ package body Vhdl.Prints is
          Disp_State (Get_Start_State (N));
          OOB.Put (", final: ");
          Disp_State (Get_Final_State (N));
+         OOB.Put (", active: ");
+         S := Get_Active_State (N);
+         if S = No_State then
+            OOB.Put ("-");
+         else
+            Disp_State (S);
+         end if;
          OOB.New_Line;
 
          S := Get_First_State (N);
-- 
cgit v1.2.3