bugfix #31 at Travitch
bugfix #31 at Travitch

travitch/whole-program-llvm,riyadparvez/whole-program-llvm,riyadparvez/whole-program-llvm,riyadparvez/whole-program-llvm,SRI-CSL/whole-program-llvm,travitch/whole-program-llvm,travitch/whole-program-llvm,SRI-CSL/whole-program-llvm,travitch/whole-program-llvm,SRI-CSL/whole-program-llvm,riyadparvez/whole-program-llvm,SRI-CSL/whole-program-llvm,SRI-CSL/whole-program-llvm