metaborg/dynsem

Explication fails if there are no semantic components

vvergu opened this issue · 0 comments

Semantic component explication fails if there are no semantic components in the module.