Add note on new Statix menu action.

metaborg · Feb 3, 2021 · 16d0564 · 16d0564
1 parent e303e78
commit 16d0564
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/source/release/note/vnext.rst b/source/release/note/vnext.rst
@@ -9,6 +9,10 @@ See the corresponding :ref:`migration guide <vnext-migration-guide>` for migrati
 Changes
 -------
 
+Statix
+~~~~~~
+
 * Fixed origin tracking in Statix injection explication for new projects
   that caused the top-level term of an AST to be missing
   when a Stratego strategy is applied to an analyzed AST in an SPT test.
+* Add a menu action to view the scope graph resulting from Statix analysis.