Fix a type

This commit is contained in:
jjchern 2016-05-23 18:25:38 -05:00
parent 718341a2fc
commit 16e948f487
1 changed files with 1 additions and 1 deletions