Skip to content

No redundant labeling

Pino Gei requested to merge no-redundant-labeling into master

Added code to prevent redundant labeling of integer nodes.

Merge request reports