tree e15e166fcf70f1effc9b4b0ef645df8a51941e7b
parent 8618b8175196d42e30589a46809af69cbe728a32
author Young-Seok <kisskys@gmail.com> 1406157389 -0700
committer Ian Maxon <imaxon@uci.edu> 1406162983 -0800

Changes to fix issue793

Change-Id: I54281f8cccd2e9322c4a8f93a9aca573aea2c552
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/111
Reviewed-by: Till Westmann <westmann@gmail.com>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>