diff options
| author | Enrico Tassi | 2020-06-12 10:54:06 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-06-12 10:54:06 +0200 |
| commit | 13e8d04b2f080fbc7ca169bc39e53c8dd091d279 (patch) | |
| tree | 4a430fe3e8d1b7f0e21e6296e3739399c5db9744 /theories | |
| parent | 96d206a9b249f28d489a453eb6a6ed627a5aa49b (diff) | |
| parent | 213c9284ad5164f39df90da757ebfed44179f851 (diff) | |
Merge PR #12357: [declare] Remove some unused `fix_exn`
Reviewed-by: gares
Diffstat (limited to 'theories')
0 files changed, 0 insertions, 0 deletions