diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2020-03-10 13:44:34 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-10 13:44:34 -0700 |
commit | 03573865aaeaf434836d509724f5a8e8fc615fdd (patch) | |
tree | ac6d89605cd7e143697c21e67455e073e72cb445 /src/theory/quantifiers/instantiate.h | |
parent | 84d4546e5a66cf37775b769e7456f0f4a86c4cf0 (diff) |
Update bug report template
Diffstat (limited to 'src/theory/quantifiers/instantiate.h')
0 files changed, 0 insertions, 0 deletions