From 3e641704e57247d5b8ca622bfa5d584a528a9501 Mon Sep 17 00:00:00 2001
From: Fish <fish@cs.ucsb.edu>
Date: Sun, 12 Nov 2023 16:58:51 -0700
Subject: [PATCH] Sync VEX to the latest master.

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

diff --git a/vex b/vex
index 8c3b99ef..3e4d96a9 160000
--- a/vex
+++ b/vex
@@ -1 +1 @@
-Subproject commit 8c3b99ef0c842d926e11b93ea0ddb1453e3f61b4
+Subproject commit 3e4d96a97d9f0a85b128cec82b8910acba83f143