Skip to content
GitLab

i#4134: Add check to ensure default case encoding is not already registered.

Merged John F.X. Galea requested to merge i4134-drbbdup-default-check into master

Adds a check after the setting up of a basic block for duplication in order to ensure that the default case encoding is not erroneously registered already.

Issue: #4134 (closed)