diff --git a/utils/haddock b/utils/haddock index 98c285fd9c6057b34341f91c2261d00df803735a..7df029a19f38234af266ab1183eee768ad2d8516 160000 --- a/utils/haddock +++ b/utils/haddock @@ -1 +1 @@ -Subproject commit 98c285fd9c6057b34341f91c2261d00df803735a +Subproject commit 7df029a19f38234af266ab1183eee768ad2d8516