aboutsummaryrefslogtreecommitdiff
path: root/include/oracles.h
diff options
context:
space:
mode:
authorArun Isaac2021-02-10 16:36:10 +0530
committerArun Isaac2021-02-10 16:36:10 +0530
commit49c13d72c248e86e65bde977059e97b7f79a97f8 (patch)
tree1301a236d42390d70f1791356cee04a0e1571f5d /include/oracles.h
parent734dada2a74517f31c26c2fa96ec13cb46afaf82 (diff)
downloadnsmc-49c13d72c248e86e65bde977059e97b7f79a97f8.tar.gz
nsmc-49c13d72c248e86e65bde977059e97b7f79a97f8.tar.lz
nsmc-49c13d72c248e86e65bde977059e97b7f79a97f8.zip
Remove unnecessary solver type variable.
* src/utils.sc (with-root-fsolver): Rewrite without a temporary solver type variable.
Diffstat (limited to 'include/oracles.h')
0 files changed, 0 insertions, 0 deletions