more bug fixes, think this should work
authorbdemsky <bdemsky@uci.edu>
Mon, 3 Jul 2017 22:03:31 +0000 (15:03 -0700)
committerbdemsky <bdemsky@uci.edu>
Mon, 3 Jul 2017 22:03:31 +0000 (15:03 -0700)
commitefcbd9094ed33e523594e8bb38a117e5e11a5092
tree7a304f30c4c342aff63f7b40e38ddc5dfb7a98b1
parentccc35c369580f40694e20d2df57f0c5af5b9d7c9
more bug fixes, think this should work
src/Backend/satencoder.c