diff --git a/lightweight_filtering b/lightweight_filtering
index 372d689a..b1d235dc 160000
--- a/lightweight_filtering
+++ b/lightweight_filtering
@@ -1 +1 @@
-Subproject commit 372d689a0bd62c6ba829db93fbbaaba8fc672cf6
+Subproject commit b1d235dca7646c013c96c9335c3d8a982b4244b5