diff --git a/README.md b/README.md
index 1219fe4..95512f6 100644
--- a/README.md
+++ b/README.md
@@ -23,6 +23,7 @@ The next two lists will grow during further development
 * next operator
 * next[n] operator
 * next_a[i to j] operator
+* next_e[i to j] operator
 * next_event operator
 * next_event[n] operator
 * until operator
@@ -32,7 +33,6 @@ The next two lists will grow during further development
 
 ## PSL features not yet supported by GHDL:
 
-* next_e[i to j] operator
 * next_event_a[i to j] operator
 * next_event_e[i to j] operator
 
diff --git a/formal/tests.mk b/formal/tests.mk
index 2d9b166..7e30155 100644
--- a/formal/tests.mk
+++ b/formal/tests.mk
@@ -4,6 +4,7 @@ psl_never \
 psl_next \
 psl_next_3 \
 psl_next_a \
+psl_next_e \
 psl_next_event \
 psl_next_event_4 \
 psl_until \