diff options
| author | Chimrod <> | 2023-11-06 15:07:28 +0100 |
|---|---|---|
| committer | Chimrod <> | 2023-11-06 15:09:06 +0100 |
| commit | 5acc63c0653b363d3d6dc9217e0a29d7e44cbcaa (patch) | |
| tree | 1bd8b5349b6c63081ea92686f03c7c101001deec /lib/syntax/compose.ml | |
| parent | 1128450d0b52c09e78d64df5737b8a034b3e230c (diff) | |
In the string expression simplification, only report the strings converted into strings
Diffstat (limited to 'lib/syntax/compose.ml')
0 files changed, 0 insertions, 0 deletions