From c6028fd1981855fe9229ea8986f312689a74dc3d Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Sat, 2 May 2020 20:16:13 +0200
Subject: [PATCH] Add example for next_event operator

---
 README.md          | 6 ++++--
 src/psl_next_3.vhd | 1 +
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index c860a85..1709c93 100644
--- a/README.md
+++ b/README.md
@@ -15,8 +15,10 @@ The next two lists will grow during furter development
 * never operator
 * implication operator
 * next operator
+* next[i] operator
+* next_event operator
 
 ## PSL features currently unsupported by GHDL:
 
-* next_a operator
-* next_e operator
+* next_a[i:j] operator
+* next_e[i:j] operator
diff --git a/src/psl_next_3.vhd b/src/psl_next_3.vhd
index 9fbfddb..29ea1ee 100644
--- a/src/psl_next_3.vhd
+++ b/src/psl_next_3.vhd
@@ -29,6 +29,7 @@ begin
   SEQ_E : sequencer generic map ("__-_-______") port map (clk, e);
   SEQ_F : sequencer generic map ("_____-----_") port map (clk, f);
 
+
   -- All is sensitive to rising edge of clk
   default clock is rising_edge(clk);