3.31 is expected in 2022, not last year

diff --git a/docs/source/Release_Notes.rst b/docs/source/Release_Notes.rst
index b553db8..d69a188 100644 (file)
--- a/docs/source/Release_Notes.rst
+++ b/docs/source/Release_Notes.rst
@@ -468,8 +468,10 @@ Also, the algorithm tutorial can now be taken in Python, for those of you alergi
 Finally, on the SMPI front, we introduced a new documentation section on calibrating the SMPI models from your measurements and fixed some issues
 with the replay mechanism.
 
 Finally, on the SMPI front, we introduced a new documentation section on calibrating the SMPI models from your measurements and fixed some issues
 with the replay mechanism.
 

-Version 3.31 (expected spring 2021)
------------------------------------
+Version 3.31 (not released yet)
+-------------------------------
+
+Expected: spring 2022

 
 On the model checking front, the long awaited big bang finally occurred, greatly simplifying future evolution. 
 
 
 On the model checking front, the long awaited big bang finally occurred, greatly simplifying future evolution.