diff options
| author | Thomas Bauereiss | 2020-05-08 13:37:25 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-05-08 13:40:28 +0100 |
| commit | bed9f2f05813afec446a26e441e1df3d08d9c251 (patch) | |
| tree | ab67ae0cbb1f63d98c2d6adf906615b9265528fd /src/lem_interp/interp_inter_imp.lem | |
| parent | b8f99df745e03ca5805110f52f5263c2ee2813fe (diff) | |
Only check int kids when simplifying nexps
Diffstat (limited to 'src/lem_interp/interp_inter_imp.lem')
0 files changed, 0 insertions, 0 deletions