tree cb56dfdc0cd5d95495d525679e13761731b0cf3e
parent bba05b7bbad0a9d9be38fd14dcd0409505695d7b
author Till Westmann <tillw@apache.org> 1463416898 -0700
committer Till Westmann <tillw@apache.org> 1463503106 -0700

fix typo

Change-Id: Iabd78359ae7cdb924a87444dd03968e6f428ab8e
Reviewed-on: https://asterix-gerrit.ics.uci.edu/786
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Yingyi Bu <buyingyi@gmail.com>