Using old version of smt-switch
cterrill26 opened this issue · 1 comments
cterrill26 commented
A recent bug fix was made in smt-switch: stanford-centaur/smt-switch#321
The version of smt-switch installed by contrib/setup-smt-switch.sh does not use this most recent version.
makaimann commented
Hey @cterrill26, thanks for the bug report on smt-switch and for following up. The install script was already updated with e2ee1c7