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/Thy/store.scala
changeset 78262 968b5b981a8c
parent 78260 0a7f7abbe4f0
child 78265 03eb7f7bb990 
--- a/src/Pure/Thy/store.scala	Fri Jul 07 14:08:53 2023 +0200
+++ b/src/Pure/Thy/store.scala	Fri Jul 07 14:10:36 2023 +0200
@@ -132,7 +132,7 @@
       build_log: Build_Log.Session_Info,
       build: Build_Info
     ): Unit = {
-      db.execute_statement(Data.Session_Info.table.insert(), body =
+      db.execute_statement(Session_Info.table.insert(), body =
         { stmt =>
           stmt.string(1) = session_name
           stmt.bytes(2) = Properties.encode(build_log.session_timing)
isabelle