diff --git a/utils/haddock b/utils/haddock index 46c288ea42c50302d708fa7a2495f3544aafac35..03dbfdd70186e484135ba1ea8d27672264cd9712 160000 --- a/utils/haddock +++ b/utils/haddock @@ -1 +1 @@ -Subproject commit 46c288ea42c50302d708fa7a2495f3544aafac35 +Subproject commit 03dbfdd70186e484135ba1ea8d27672264cd9712