diff --git a/third-party/kenning b/third-party/kenning
index 48bfc24..f03934e 160000
--- a/third-party/kenning
+++ b/third-party/kenning
@@ -1 +1 @@
-Subproject commit 48bfc24e7dbf3835af15f9aa4113d3067fbff3e2
+Subproject commit f03934e684636b7c39bcdf08abfd8cb2d117b1ce