From a3bce956d7ee5f3951e3e93fd3946711c50ff07f Mon Sep 17 00:00:00 2001
From: Richard Eisenberg <rae@cs.brynmawr.edu>
Date: Sat, 15 Sep 2018 15:41:39 -0400
Subject: Correct submodule update for haddock

Previous commit (Coercion Quantification) was missing a
commit on the haddock submodule. This (hopefully) corrects it.
---
 utils/haddock | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/utils/haddock b/utils/haddock
index b66a830b5b..b5372b7d86 160000
--- a/utils/haddock
+++ b/utils/haddock
@@ -1 +1 @@
-Subproject commit b66a830b5b1c0166d17f695e7405058650d57ed0
+Subproject commit b5372b7d86e3058b419076641dd3048258c4ddf2
-- 
cgit v1.2.1