diff --git a/hecl/extern/libBoo b/hecl/extern/libBoo
index 886ae22e0..01ab873e0 160000
--- a/hecl/extern/libBoo
+++ b/hecl/extern/libBoo
@@ -1 +1 @@
-Subproject commit 886ae22e08314836cd41955848a835a8b81e215a
+Subproject commit 01ab873e065cc80e74982894c10804bbddceaa4e