diff --git a/utils/haddock b/utils/haddock index 394920426d99cee7822d5854bc83bbaab4970c7a..1130973f07aecc37a37943f4b1cc529aabd15e61 160000 --- a/utils/haddock +++ b/utils/haddock @@ -1 +1 @@ -Subproject commit 394920426d99cee7822d5854bc83bbaab4970c7a +Subproject commit 1130973f07aecc37a37943f4b1cc529aabd15e61