diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-10-01 16:47:02 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-01 21:47:02 +0000 |
| commit | 6405f082a85e2a2ce7e25ff1f8b058f3f42fd58b (patch) | |
| tree | a54e2fdbc4b975cd0dced9b10f8d8477fcaab59a /src/api/java | |
| parent | 8210a5ebefd4cc0779d7968e891db5bc63dba545 (diff) | |
Update theory preprocessor to use Env (#7288)
In preparation for making the "lemma context" configurable.
Diffstat (limited to 'src/api/java')
0 files changed, 0 insertions, 0 deletions