Don't generate redundant constraints
authorbdemsky <bdemsky@uci.edu>
Wed, 12 Jul 2017 20:28:16 +0000 (13:28 -0700)
committerbdemsky <bdemsky@uci.edu>
Wed, 12 Jul 2017 20:28:16 +0000 (13:28 -0700)
commit18eb009672398d6155ecc246a618a059b8d79005
tree067e5683a48fa8b0222c31943531e62230c911e5
parent07e565ec8d703fd955dbebe767384ae2dbdfa504
Don't generate redundant constraints
src/Backend/satelemencoder.c