From 14d0a47a5afa162e0315ae88112fcab0f9d9d6f6 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Thu, 22 Feb 2024 22:53:23 +0100
Subject: [PATCH] fix: oops

---
 CHANGELOG.md        | 4 ++++
 src/elan/install.rs | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index a46433a..c3337d4 100644
--- 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
index 5c677ca..f94948f 100644
--- 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)]