Fix make_symbol_name to use new descriptor names in _system.abc (!10) · Merge requests · clean-and-itasks / clean-libraries · GitLab

Ghost User requested to merge fix-make_symbol_name into master Sep 04, 2020

See https://gitlab.science.ru.nl/clean-compiler-and-rts/stdenv/-/merge_requests/10.

Closes #5 (closed).

Edited Sep 04, 2020 by Ghost User