diff options
| author | Emilio Jesus Gallego Arias | 2020-05-20 00:04:11 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-20 14:19:56 +0200 |
| commit | 7db54ab97f7115493f43f17e0d7547bbd33aa5fd (patch) | |
| tree | 55eef284fc4faf70693882194a16dc1ff87f1639 /tools | |
| parent | bb46ed335e728edb5cd5fa344071dd961c031354 (diff) | |
[obligations] `declare_obligation` now takes an `UState.t`
This removes a use of internal obligation data `prg_poly` and a couple
of duplicate lines.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions