diff options
Diffstat (limited to 'src/passes/GlobalRefining.cpp')
| -rw-r--r-- | src/passes/GlobalRefining.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/passes/GlobalRefining.cpp b/src/passes/GlobalRefining.cpp index f994d4082..0576e3285 100644 --- a/src/passes/GlobalRefining.cpp +++ b/src/passes/GlobalRefining.cpp @@ -38,10 +38,6 @@ struct GlobalRefining : public Pass { if (!module->features.hasGC()) { return; } - if (getTypeSystem() != TypeSystem::Nominal && - getTypeSystem() != TypeSystem::Isorecursive) { - Fatal() << "GlobalRefining requires nominal/isorecursive typing"; - } // First, find all the global.sets. |