Import Encode in all modules

This commit is contained in:
Ayaz Hafiz 2022-07-18 11:44:39 -04:00 committed by Richard Feldman
parent b6b66b883a
commit 72c6cf7801
No known key found for this signature in database
GPG key ID: 7E4127D1E4241798

View file

@ -2165,6 +2165,14 @@ fn update<'a>(
header
.imported_modules
.insert(ModuleId::LIST, Region::zero());
header
.package_qualified_imported_modules
.insert(PackageQualified::Unqualified(ModuleId::ENCODE));
header
.imported_modules
.insert(ModuleId::ENCODE, Region::zero());
}
state