Update dependencies (rustc nightly-2023-03-01, viper v-2023-02-26-2019)

viperproject · Mar 9, 2023 · 73df888 · 73df888
1 parent 72dc31d
commit 73df888
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/rust-toolchain b/rust-toolchain
@@ -1,4 +1,4 @@
 [toolchain]
-channel = "nightly-2023-02-09"
+channel = "nightly-2023-03-01"
 components = [ "rustc-dev", "llvm-tools-preview", "rust-std", "rustfmt", "clippy" ]
 profile = "minimal"
diff --git a/viper-toolchain b/viper-toolchain
@@ -1 +1 @@
-v-2023-01-31-0912
+v-2023-02-26-2019