diff --git a/utils/haddock b/utils/haddock index 7064cd54e016b2f8e0a8c2ba8d3dd5edea9071ca..37e93411ef8ee673eebd6c56b8db3f2e851572c9 160000 --- a/utils/haddock +++ b/utils/haddock @@ -1 +1 @@ -Subproject commit 7064cd54e016b2f8e0a8c2ba8d3dd5edea9071ca +Subproject commit 37e93411ef8ee673eebd6c56b8db3f2e851572c9