small rename

This commit is contained in:
Erwin Coumans committed 2017-08-27 19:54:20 -07:00
1 parent 3f00c7bd49
commit 1900966805
1 file changed