diff options
| author | Aarne Ranta <aarne@chalmers.se> | 2019-05-20 15:58:47 +0200 |
|---|---|---|
| committer | Aarne Ranta <aarne@chalmers.se> | 2019-05-20 15:58:47 +0200 |
| commit | b7249adf63acf717210af2fa2e552bd50473b960 (patch) | |
| tree | 80b32e8db5b1ef7ca9e9d59744abe00fb4764cc9 /src/runtime/python/INSTALL | |
| parent | 7a3efdfeb9171a38e594f177d0541124837d32ba (diff) | |
reordered error message for 'no overload'; might be even better to show complete types
Diffstat (limited to 'src/runtime/python/INSTALL')
0 files changed, 0 insertions, 0 deletions
