diff options
| author | Arun Isaac | 2021-02-10 16:36:10 +0530 |
|---|---|---|
| committer | Arun Isaac | 2021-02-10 16:36:10 +0530 |
| commit | 49c13d72c248e86e65bde977059e97b7f79a97f8 (patch) | |
| tree | 1301a236d42390d70f1791356cee04a0e1571f5d /include/oracles.h | |
| parent | 734dada2a74517f31c26c2fa96ec13cb46afaf82 (diff) | |
| download | nsmc-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