The source project of this merge request has been removed.
#60 Fix duplicated error messages for multi init locs in mCRL2 transformation.
requested to merge (removed):60-Fix-duplicated-error-messages-for-multi-init-locs-in-mCRL2-transformation into develop