[discus-lang/ddc] f030e1: Trivial: fixing typo in comment

[GitHub]

Branch: refs/heads/master
Home: https://github.com/discus-lang/ddc
Commit: f030e165b992649f9f81c8ba46cc92ed349d087a
https://github.com/discus-lang/ddc/commit/f030e165b992649f9f81c8ba46cc92ed349d087a
Author: Chris Hall <followin...@gmail.com>
Date: 2018-10-26 (Fri, 26 Oct 2018)

Changed paths:
M src/s1/ddc-core/DDC/Core/Exp/Annot/Pretty.hs

Log Message:
-----------
Trivial: fixing typo in comment



**NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

Functionality will be removed from GitHub.com on January 31st, 2019.