diff options
Diffstat (limited to 'src/tools/tool-options.h')
| -rw-r--r-- | src/tools/tool-options.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/tools/tool-options.h b/src/tools/tool-options.h index 4e9d85d00..a6e57a76e 100644 --- a/src/tools/tool-options.h +++ b/src/tools/tool-options.h @@ -182,10 +182,6 @@ struct ToolOptions : public Options { void applyFeatures(Module& module) const { module.features.enable(enabledFeatures); module.features.disable(disabledFeatures); - // Non-default type systems only make sense with GC enabled. - if (!module.features.hasGC() && getTypeSystem() == TypeSystem::Nominal) { - Fatal() << "Nominal typing is only allowed when GC is enabled"; - } } private: |