tree b42d50a6b2baf7c0c309c2d649552afb2d5f1e60
parent 80490739d334e44e98efbf4c8da9aab47926f0cd
author buyingyi <buyingyi@gmail.com> 1423091546 -0800
committer Ian Maxon <imaxon@uci.edu> 1423159727 -0800

Fix issue849.

Change-Id: I799aba828d93e503093e7443d423ef60de6c6668
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/216
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Young-Seok Kim <kisskys@gmail.com>
Reviewed-by: Steven Jacobs <sjaco002@ucr.edu>