tree 8405e3dbd1343fc7cd8d6706f4b2deac54f103f1
parent 2892e6fbad5fa37c3b58d1516bae80bcee861b84
author buyingyi <buyingyi@gmail.com> 1421347215 -0800
committer Ian Maxon <imaxon@uci.edu> 1421429300 -0800

Fix issue 562.

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