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