Fixing bug for freezing variables for encodings other than binary index
authorHamed Gorjiara <hgorjiar@uci.edu>
Tue, 28 Apr 2020 07:09:37 +0000 (00:09 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Tue, 28 Apr 2020 07:09:37 +0000 (00:09 -0700)
commit2a059408e74f5de45d53ae64a8dd4a77235cf706
tree7618bd044c58c0ba60cf5df501327d4fff07372e
parent7884ba01d0f4a9ddb947c62683e704b1d01c2783
Fixing bug for freezing variables for encodings other than binary index
src/Backend/satelemencoder.cc