fix copy/pasto

Authored by simonmar on Mar 1 2014, 1:16 AM.

Description

fix copy/pasto

Details

Committed
simonmarMar 1 2014, 1:16 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF3fba87599378: add missing files (#8124)
Branches
Unknown
Tags
Unknown