Skip to content

Commit 6b68180

Browse files
samesteptedinski
authored andcommitted
Correct install_viewer.sh version in docs (rust-lang#1114)
1 parent d9843ea commit 6b68180

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

docs/src/install-guide.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ cd kani
2727
git submodule update --init
2828
./scripts/setup/ubuntu/install_deps.sh
2929
./scripts/setup/ubuntu/install_cbmc.sh
30-
./scripts/setup/install_viewer.sh 2.10
30+
./scripts/setup/install_viewer.sh 2.11
3131
./scripts/setup/install_rustup.sh
3232
source $HOME/.cargo/env
3333
```
@@ -43,7 +43,7 @@ cd kani
4343
git submodule update --init
4444
./scripts/setup/macos-10.15/install_deps.sh
4545
./scripts/setup/macos-10.15/install_cbmc.sh
46-
./scripts/setup/install_viewer.sh 2.10
46+
./scripts/setup/install_viewer.sh 2.11
4747
./scripts/setup/install_rustup.sh
4848
source $HOME/.cargo/env
4949
```

0 commit comments

Comments
 (0)