diff --git a/utils/haddock b/utils/haddock index af3e6c7c027389df18b15ee9a9d72ffc97dc1852..22cbf4d9509d3b537e6c2fcf4c95ae73d930b9aa 160000 --- a/utils/haddock +++ b/utils/haddock @@ -1 +1 @@ -Subproject commit af3e6c7c027389df18b15ee9a9d72ffc97dc1852 +Subproject commit 22cbf4d9509d3b537e6c2fcf4c95ae73d930b9aa