diff options
| author | Alasdair Armstrong | 2018-10-22 16:03:41 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-10-22 16:10:53 +0100 |
| commit | c1305bf912ff1cc0920c2bb011fee30623504a34 (patch) | |
| tree | 3ee33db8712c64ace643400d504894b12ebb9acf /test | |
| parent | f8981e89ed59cef690a685293563a10f88bd4f05 (diff) | |
Fix lem arguments for functions with tuple arguments
Make lem output understand difference between functions taking a tuple
and functions taking multiple arguments. Previously it assumed that no
functions ever took a tuple as an argument, which is incorrect for
mappings.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions