diff options
| author | Pierre-Marie Pédrot | 2020-11-20 13:20:18 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-11-20 13:20:18 +0100 |
| commit | 04186f83545e3c693976c73d488b36dd4a2b50db (patch) | |
| tree | 7f22af1415d31b515f8ea4ed42e356279d2756f6 /plugins/syntax | |
| parent | 1fd6af1ae6d4a46547cdd2bf812ef46e0727138f (diff) | |
| parent | 6adbb8b2c055820777721eae9a3409f9067a8d0e (diff) | |
Merge PR #13237: Address #13235: avoid passing degenerate in-hyps clauses
Reviewed-by: jfehrle
Reviewed-by: ppedrot
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions