From 34f4a2cafd42a89c026a35b8381251dad83cb1f6 Mon Sep 17 00:00:00 2001 From: workturnedplay Date: Sun, 12 Apr 2026 11:59:22 +0200 Subject: [PATCH] fix broken link in README.md for Singular the old link is 404 --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index bf8f189..c02847d 100644 --- a/README.md +++ b/README.md @@ -34,7 +34,7 @@ source code, but this is less true for the type names. Make sure [Verus](https://github.com/verus-lang/verus) is installed and `verus` is on your PATH. Also, make sure that it is built with `--features singular`. (See the -[Singular setup instructions in the Verus guide](https://verus-lang.github.io/verus/guide/nonlinear_bitvec.html#setup)). +[Singular setup instructions in the Verus guide](https://verus-lang.github.io/verus/guide/install-singular.html)). Run this: