tree d2c559b797d37c9b228514a3b1437d9d59f79a0a
parent ca14dd3ce93526b5688ddfafc40263383d248bf4
author Murtadha Hubail <mhubail@uci.edu> 1439198514 +0300
committer Murtadha Hubail <hubailmor@gmail.com> 1439495739 -0700

Fix for issue 923

Change-Id: I87053315fc7650682fcbedd573b1155c17810073
Reviewed-on: https://asterix-gerrit.ics.uci.edu/347
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Young-Seok Kim <kisskys@gmail.com>