tree d44447fe7f1638fdad04d7a51242908c68285c9b
parent f5b4c90de00d0057251eaba00669302464426c97
author buyingyi <buyingyi@gmail.com> 1423091625 -0800
committer Ian Maxon <imaxon@uci.edu> 1423159733 -0800

Fix issue849.

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