diff --git a/src/Checker.cc b/src/Checker.cc index 9341fac9d..96a0ccffd 100644 --- a/src/Checker.cc +++ b/src/Checker.cc @@ -570,9 +570,7 @@ namespace bolt { auto RefTE = static_cast(N); auto Ty = lookupMono(RefTE->Name->getCanonicalText()); if (Ty == nullptr) { - if (Config.typeVarsRequireForall()) { - DE.add(RefTE->Name->getCanonicalText(), RefTE->Name); - } + DE.add(RefTE->Name->getCanonicalText(), RefTE->Name); Ty = createTypeVar(); } N->setType(Ty);