Go back to old load_platform_module name

This commit is contained in:
Richard Feldman 2022-11-20 10:40:50 -05:00
parent f9676098d3
commit 79be1f94fa
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B

View file

@ -3122,7 +3122,7 @@ fn finish(
} }
/// Load a `platform` module from disk /// Load a `platform` module from disk
fn load_platform_module_from_disk<'a>( fn load_platform_module<'a>(
arena: &'a Bump, arena: &'a Bump,
filename: &Path, filename: &Path,
shorthand: &'a str, shorthand: &'a str,
@ -3627,7 +3627,7 @@ fn parse_header<'a>(
}; };
if platform_module_path.as_path().exists() { if platform_module_path.as_path().exists() {
let load_platform_module_msg = load_platform_module_from_disk( let load_platform_module_msg = load_platform_module(
arena, arena,
&platform_module_path, &platform_module_path,
shorthand, shorthand,