diff options
| author | Son Ho | 2022-02-04 09:56:44 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-04 09:56:44 +0100 |
| commit | 527d828067bc4780641c979ddc880f98322e4c31 (patch) | |
| tree | 1a4856ac9bb88b80c05245a867038c6691abecca /fstar | |
| parent | 540c13ac94e00fae062cd328903711ea9693ddfc (diff) | |
Update SymbolicToPure so that we don't construct tuples with exactly one
field
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions