Update viper-toolchain

viperproject · Mar 13, 2023 · 3c99ba8 · 3c99ba8
1 parent d1b92d2
commit 3c99ba8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/viper-toolchain b/viper-toolchain
@@ -1 +1 @@
-v-2023-02-26-2019
+v-2023-03-10-1726