diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-09-08 11:45:38 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-08 11:45:38 -0500 |
| commit | be3543ef7e01eb32aab3161fa2778953fabc988d (patch) | |
| tree | d821c034199aad91fddaa27d9baf3792c91463a6 /src/options/options_public_functions.cpp | |
| parent | 3f150596fe2186aea1c40b3210e8a0d59dc1ba94 (diff) | |
Eliminate a custom use of TheorySep in quantifiers engine for EPR (#5039)
This moves the initialization of the connection between separation logic and EPR to the separation logic theory, which is a more logical place for this. This eliminates a backwards reference to theory engine from quantifiers engine.
Diffstat (limited to 'src/options/options_public_functions.cpp')
0 files changed, 0 insertions, 0 deletions