Closed Gnimuc closed 1 year ago
fix #405
This also introduces a side effect of generating extra useless definitions.
fix #405