tree 37db9de2c920d249baf2542ae94a57860b3c97d6
parent 7527bbbb3930e8c237cd3171887c0aa7c76cfa3e
author buyingyi <buyingyi@gmail.com> 1421346642 -0800
committer Ian Maxon <imaxon@uci.edu> 1421429295 -0800

Fix issue 562.

Change-Id: I2ce52bbed0ef98f965816f296303c7a21e2b148c
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/202
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Pouria Pirzadeh <pouria.pirzadeh@gmail.com>