diff options
| author | Emilio Jesus Gallego Arias | 2017-09-27 16:25:07 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-09-27 16:25:07 +0200 |
| commit | 360d2ca3c4837286469fbbf557d50b49363895e9 (patch) | |
| tree | 457ac0298bad5e3732b8297dc434da683cb6ba75 /API | |
| parent | b9740771e8113cb9e607793887be7a12587d0326 (diff) | |
[stm] Remove unused "Proof using" data in `Sync` tags.
This was not used anywhere; it looks like dead code from some previous
attempt.
`get_hint_ctx` looks also very very suspicious.
Diffstat (limited to 'API')
0 files changed, 0 insertions, 0 deletions