correct version number

Certora · Jan 7, 2025 · f4a1af0 · f4a1af0
1 parent dccc98b
commit f4a1af0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/prover/changelog/gui_changelog.md b/docs/prover/changelog/gui_changelog.md
@@ -4,7 +4,7 @@ GUI Release Notes
 ```{contents}
 ```
 
-3.1.0 (Jan 9, 2025)
+3.1.1 (Jan 9, 2025)
 ---------------------------
 
 ### Features