diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-02-19 12:16:42 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-19 12:16:42 -0600 |
| commit | d278cfe019534f8765a9979c3181ae1f8fbc8470 (patch) | |
| tree | c40e959f08829f1c483d0c0ad745332364e2848a /src/util | |
| parent | 7430455bc71b6641f121edb3ec0cf1706bf40235 (diff) | |
Simplify interface to instantiate (#5926)
Does not support InstMatch interfaces anymore, which are spurious.
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions