diff options
| author | jeepee | 2022-04-01 13:16:51 +0000 |
|---|---|---|
| committer | GitHub | 2022-04-01 13:16:51 +0000 |
| commit | 85c23b31deb73d71bb38264485d728665f151d4a (patch) | |
| tree | 6b1da6e6369aab46b27bbcff47c0b0d6fc37a195 /runtime/tutor.txt | |
| parent | 8165febe23cbd8bb9cd99cceac9d09b81f35456e (diff) | |
Avoid unnecessary clone when formatting error (#1903)
Instead of first cloning the query and then allocating again to format
the error, format the error using a reference to the query.
Diffstat (limited to 'runtime/tutor.txt')
0 files changed, 0 insertions, 0 deletions