diff --git a/utils/haddock b/utils/haddock index 1313adce47bbfe77fa526d469b67043c1adcd42d..5877bcebce88afad40ae9decb0f6029681c51848 160000 --- a/utils/haddock +++ b/utils/haddock @@ -1 +1 @@ -Subproject commit 1313adce47bbfe77fa526d469b67043c1adcd42d +Subproject commit 5877bcebce88afad40ae9decb0f6029681c51848