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)
commita3bce956d7ee5f3951e3e93fd3946711c50ff07f
treefd6c383aafdf1ac3b53ff91929321a9d179d93b6
parentea5ade34788f29f5902c5475e94fbac13110eea5
Correct submodule update for haddock

Previous commit (Coercion Quantification) was missing a
commit on the haddock submodule. This (hopefully) corrects it.
utils/haddock