Fix comment typo introduced in 6368362f44

Authored by hvr on Sep 27 2013, 1:29 AM.

Description

Fix comment typo introduced in 6368362f44

Details

Committed
hvrSep 27 2013, 1:29 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFb857c293c157: Define typeRep in terms of new Proxy#
Branches
Unknown
Tags
Unknown