diff --git a/3rdparty/SmallFunction b/3rdparty/SmallFunction
index e728328bb0d..f019b380563 160000
--- a/3rdparty/SmallFunction
+++ b/3rdparty/SmallFunction
@@ -1 +1 @@
-Subproject commit e728328bb0db1a9bc2f1640ec0812450ba69bb19
+Subproject commit f019b380563e579457ef1c336a8d3de15d134542