chore: do not network-resolve in elan default (#149)

leanprover · Dec 10, 2024 · a4acc2c · a4acc2c
1 parent bc4c0de
commit a4acc2c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/elan-cli/elan_mode.rs b/src/elan-cli/elan_mode.rs
@@ -1,6 +1,6 @@
 use clap::{App, AppSettings, Arg, ArgMatches, Shell, SubCommand};
 use common;
-use elan::{command, gc, lookup_toolchain_desc, Cfg, Toolchain};
+use elan::{command, gc, lookup_toolchain_desc, lookup_unresolved_toolchain_desc, Cfg, Toolchain};
 use elan_dist::dist::ToolchainDesc;
 use elan_utils::utils;
 use errors::*;
@@ -252,7 +252,7 @@ pub fn cli() -> App<'static, 'static> {
 fn default_(cfg: &Cfg, m: &ArgMatches) -> Result<()> {
     let name = m.value_of("toolchain").expect("");
     // sanity-check
-    let _ = lookup_toolchain_desc(cfg, name)?;
+    let _ = lookup_unresolved_toolchain_desc(cfg, name)?;
 
     cfg.set_default(name)?;
     Ok(())