Fix update checker

LS-Lab · Jun 27, 2024 · 1196e82 · 1196e82
1 parent 6514b77
commit 1196e82
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/keymaerax-webui/src/main/scala/edu/cmu/cs/ls/keymaerax/UpdateChecker.scala b/keymaerax-webui/src/main/scala/edu/cmu/cs/ls/keymaerax/UpdateChecker.scala
@@ -25,7 +25,7 @@ object UpdateChecker extends Logging {
    * If this KeYmaera X instance's version number is newer than the latest version, it is also considered up-to-date.
    * This may happen during development or testing of a new version.
    */
-  lazy val upToDate: Option[Boolean] = latestVersion.map(_ >= Version)
+  lazy val upToDate: Option[Boolean] = latestVersion.map(Version >= _)
 
   /** The version number of the latest KeYmaera X release, or [[None]] if version info could not be retrieved. */
   lazy val latestVersion: Option[VersionNumber] = fetchLatestVersion()