From aa674f81aed05b2822653c0753a8bbb1c14545b7 Mon Sep 17 00:00:00 2001
From: Patrick Brosi <brosi@informatik.uni-freiburg.de>
Date: Mon, 16 Oct 2023 09:58:39 +0200
Subject: [PATCH] update pfxml

---
 src/xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/xml b/src/xml
index 47ac7e3..c5ccaf0 160000
--- a/src/xml
+++ b/src/xml
@@ -1 +1 @@
-Subproject commit 47ac7e399db3ec414f266c8e288e6204e06ee07e
+Subproject commit c5ccaf0f4196090166defd70bf1e6112e036b205