diff --git a/preprocessor b/preprocessor
index 2e171e28d..f725c534e 160000
--- a/preprocessor
+++ b/preprocessor
@@ -1 +1 @@
-Subproject commit 2e171e28de8d09200ee97fdb32c1c2d1443a96ec
+Subproject commit f725c534ef1344813421c2404de2cb4f3774d113