Verification Report -> Rules Report

Certora · Oct 25, 2023 · 60864e2 · 60864e2
1 parent 0d86793
commit 60864e2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/prover/changelog/report_changelog.md b/docs/prover/changelog/report_changelog.md
@@ -1,4 +1,4 @@
-Verification Report Release Notes
+Rules Report Release Notes
 =============
 
 ```{contents}