diff options
| author | Gereon Kremer <gkremer@stanford.edu> | 2021-02-17 16:50:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-17 16:50:15 +0100 |
| commit | bdc1b222fbc674ab1f8a48fad9f78759c3baea23 (patch) | |
| tree | 70bee6724c49f351fb31cd9cfe6b1fa196654ba1 /src/parser | |
| parent | f52cd17ba0f9c455db1d45341ba39f04b319e621 (diff) | |
Use InferenceId in sep theory. (#5912)
This PR uses the new InferenceIds in the separation logic theory.
Diffstat (limited to 'src/parser')
0 files changed, 0 insertions, 0 deletions