rename URL

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Jul 5, 2022 · 2a5d23b · 2a5d23b
1 parent cd416ee
commit 2a5d23b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -19,7 +19,7 @@ Version 4.9.0
   It also allows incrementality at the level of adding assertions to the 
   solver object. 
 - Fold/map for sequences:
-  https://microsoft.github.io/rise4fun/docs/guide/Sequences#map-and-fold
+  https://microsoft.github.io/z3guide/docs/guide/Sequences#map-and-fold
   At this point these functions are only exposed over the SMTLIB2 interface (and not programmatic API)
   maxdiff/mindiff on arrays are more likely to be deprecated
 - User Propagator: