diff options
| author | Gereon Kremer <gkremer@stanford.edu> | 2021-02-17 16:10:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-17 16:10:43 +0100 |
| commit | f52cd17ba0f9c455db1d45341ba39f04b319e621 (patch) | |
| tree | f74b8241764dc2d7ecfc026ba60516b5211dc701 /.clang-format | |
| parent | fb5e3113312322c21a00062b22c358c30fa27101 (diff) | |
TheoryIds for UF theory. (#5901)
This PR introduces new InferenceId for the uf theory and uses them instead of InferenceId::UNKNOWN.
Diffstat (limited to '.clang-format')
0 files changed, 0 insertions, 0 deletions