# HG changeset patch
# User wenzelm
# Date 1476265733 -7200
# Node ID 2e1b25d6c1084c053ff25f5104223c136682b9eb
# Parent  03057a8fdd1fcf5effcbb2191787244ca74258a4
modernized;

diff -r 03057a8fdd1f -r 2e1b25d6c108 src/Pure/Admin/ci_profile.scala
--- a/src/Pure/Admin/ci_profile.scala	Wed Oct 12 11:31:08 2016 +0200
+++ b/src/Pure/Admin/ci_profile.scala	Wed Oct 12 11:48:53 2016 +0200
@@ -72,7 +72,7 @@
 
 
   final def hg_id(path: Path): String =
-    Isabelle_System.hg("id -i", path.file).out
+    Mercurial.repository(path).identify(options = "-i")
 
   final def print_section(title: String): Unit =
     println(s"\n=== $title ===\n")