Fix benchmark

Kikkon · Aug 26, 2023 · e4e8a5c · e4e8a5c
1 parent 093cf05
commit e4e8a5c
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -182,7 +182,7 @@ If rustup fails, especially with an error like "could not rename downloaded file
 To solve the issue, go to the command line and run:
 
 ```
-rustup toolchain install nightly-2023-04-12 -c rust-src -c rustc-dev -c llvm-tools-preview
+rustup toolchain install nightly-2023-08-25 -c rust-src -c rustc-dev -c llvm-tools-preview
 ```
 
 Then go back to VSCode and click "Continue" to let Flowistry continue installing.

diff --git a/crates/flowistry/benches/main.rs b/crates/flowistry/benches/main.rs
@@ -13,7 +13,7 @@ use criterion::{
 };
 use flowistry::infoflow::Direction;
 use glob::glob;
-use rustc_borrowck::BodyWithBorrowckFacts;
+use rustc_borrowck::consumers::BodyWithBorrowckFacts;
 use rustc_hir::{BodyId, ItemKind};
 use rustc_middle::{
   mir::{Location, Place},

diff --git a/crates/flowistry_ide/README.md b/crates/flowistry_ide/README.md
@@ -108,9 +108,9 @@ If rustup fails, especially with an error like "could not rename downloaded file
 To solve the issue, go to the command line and run:
 
 ```
-rustup toolchain install nightly-2023-04-12 -c rust-src -c rustc-dev -c llvm-tools-preview
+rustup toolchain install nightly-2023-08-25 -c rust-src -c rustc-dev -c llvm-tools-preview
 ```
 
-> Note: double check the value of "channel" in `rust-toolchain.toml` if `nightly-2023-04-12` is no longer correct.
+> Note: double check the value of "channel" in `rust-toolchain.toml` if `nightly-2023-08-25` is no longer correct.
 
 Then go back to VSCode and click "Continue" to let Flowistry continue installing.