diff --git a/extern/boo b/extern/boo
index 73d7e1db1..c4bb325d0 160000
--- a/extern/boo
+++ b/extern/boo
@@ -1 +1 @@
-Subproject commit 73d7e1db1c32ed164824784077f4798f2d29309f
+Subproject commit c4bb325d059eb032c48a72a99a0b3f0a419d8017