From 3c99ba84d84eab1cad84e12e051c6c1a7f47cd25 Mon Sep 17 00:00:00 2001
From: Jonas Fiala <jonas.fiala.cardiff@gmail.com>
Date: Mon, 13 Mar 2023 13:36:54 +0100
Subject: [PATCH] Update viper-toolchain

---
 viper-toolchain | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/viper-toolchain b/viper-toolchain
index d46d418296d..f693ba55360 100644
--- a/viper-toolchain
+++ b/viper-toolchain
@@ -1 +1 @@
-v-2023-02-26-2019
+v-2023-03-10-1726