fix: oops

leanprover · Feb 22, 2024 · 14d0a47 · 14d0a47
1 parent ce85519
commit 14d0a47
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# Unreleased
+
+- Fix update check
+
 # 3.1.0 - 2024-02-19
 
 - Fix partial toolchains potentially being left in place when unpacking is aborted (#121)

diff --git a/src/elan/install.rs b/src/elan/install.rs
@@ -30,7 +30,7 @@ pub fn check_self_update() -> Result<Option<String>> {
     let tag = fetch_latest_release_tag("leanprover/elan")?;
     let available_version = &tag[1..];
 
-    Ok(if available_version != current_version { None } else { Some(available_version.to_owned()) })
+    Ok(if available_version == current_version { None } else { Some(available_version.to_owned()) })
 }
 
 #[derive(Copy, Clone)]