Correct submodule update for haddock
authorRichard Eisenberg <rae@cs.brynmawr.edu>
Sat, 15 Sep 2018 19:41:39 +0000 (15:41 -0400)
committerRichard Eisenberg <rae@cs.brynmawr.edu>
Sat, 15 Sep 2018 19:41:39 +0000 (15:41 -0400)
Previous commit (Coercion Quantification) was missing a
commit on the haddock submodule. This (hopefully) corrects it.

utils/haddock

index b66a830..b5372b7 160000 (submodule)
@@ -1 +1 @@
-Subproject commit b66a830b5b1c0166d17f695e7405058650d57ed0
+Subproject commit b5372b7d86e3058b419076641dd3048258c4ddf2