tree 1b6c07b7e1308f9ebfd0ef220bd2d085d4a6dfe4
parent 0bae161187c485103d39df5c584c8d2e44ac898f
author Eldon Carman <ecarm002@ucr.edu> 1434680047 -0700
committer Preston Carman <ecarm002@ucr.edu> 1435102244 -0700

Fix for issue 872

Change-Id: If8cf621b8b89302cb28bd34f63e23f9c5f684351
Reviewed-on: https://asterix-gerrit.ics.uci.edu/290
Reviewed-by: Ildar Absalyamov <ildar.absalyamov@gmail.com>
Reviewed-by: Ian Maxon <imaxon@apache.org>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>