Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/isabelle_cronjob.scala
changeset 71380 5965e6e3c3ec
parent 70757 6a835635fa93
child 71537 93bdbac68d8d 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Jan 15 16:18:24 2020 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Jan 15 19:45:06 2020 +0100
@@ -116,7 +116,7 @@
 
     def known_versions(rev: String, afp_rev: Option[String]): Boolean =
       known && rev != "" && isabelle_version == rev &&
-      (afp_rev.isEmpty || afp_rev.get != "" && afp_version == afp_rev.get)
+      (afp_rev.isEmpty || afp_rev.get != "" && afp_version == afp_rev)
   }
 
   def recent_items(db: SQL.Database,
isabelle