diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-08-05 04:32:10 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-04 21:32:10 -0500 |
commit | c324bb21adb44374eb37a0254e31c0a0d0b3ebc7 (patch) | |
tree | c9650b2f5160a356d7434253215f9070869f53f0 /src/proof | |
parent | 64a8b1b205ccc793865bacf2b4388c534dc2f16d (diff) |
Add dummy returns if libpoly is unavailable. (#4845)
This PR adds dummy return statements do CadSolver in case libpoly is not available.
Diffstat (limited to 'src/proof')
0 files changed, 0 insertions, 0 deletions