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/expr/sequence.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/expr/sequence.cpp')
0 files changed, 0 insertions, 0 deletions