tree 0b702e5b12c14585e1b2068b402f9c5d1ec6aa39
parent 62b22d19d0c9c539b39579cc8ac8f0261caa93f4
author Ian <imaxon@uci.edu> 1415069167 -0800
committer Ian Maxon <imaxon@uci.edu> 1415847850 -0800

Fix issue 138

Change-Id: I2a89bab76c25d6f0b499f7eb82434e6cea4faf81
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/163
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Taewoo Kim <wangsaeu@gmail.com>