Open le-cram opened 6 years ago
For every module that is imported and where substitution is used, a warning should be generated, if not every abstract entity is substituted.
For every module that is imported and where substitution is used, a warning should be generated, if not every abstract entity is substituted.