diff options
| author | Lachnitt <lachnitt@stanford.edu> | 2021-09-23 15:35:32 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-23 22:35:32 +0000 |
| commit | 6b56848d3b09894aa4d987ca2e91a87ff1d022ab (patch) | |
| tree | 3d1e9cdbc8afbc57d8e6ee347b6c69d4110a0d8b /src/theory/quantifiers/ematching/trigger.h | |
| parent | 1e9c3deaf16c1fefd7d8344b9e6b6ddb9a19756e (diff) | |
[proofs[ Alethe: Fix Order of Arguments of addAletheStepFromOr (#7237)
Changes the order of the arguments of addAletheStepFromOr to be consistent with addAletheStep.
Diffstat (limited to 'src/theory/quantifiers/ematching/trigger.h')
0 files changed, 0 insertions, 0 deletions