From c8d49f4b527eaf4064de911194a02031074c5458 Mon Sep 17 00:00:00 2001
From: Wenzel Jakob <wenzel.jakob@epfl.ch>
Date: Mon, 4 Dec 2023 17:10:32 +0100
Subject: [PATCH] updated drjit-core

---
 ext/drjit-core | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ext/drjit-core b/ext/drjit-core
index 559928bcf..13e9d663d 160000
--- a/ext/drjit-core
+++ b/ext/drjit-core
@@ -1 +1 @@
-Subproject commit 559928bcfa90cbb3ae6493df600a25fb06f6f6f6
+Subproject commit 13e9d663dc0eab81dec23357c07157ebf2c07f1f