src/Pure/General/mercurial.scala

 
       Isabelle_System.with_tmp_dir("sync") { tmp_dir =>
         Rsync.init(context, target)
 
         val list =
-          Rsync.exec(context, list = true,
-            args = List("--", Rsync.terminate(target))
-          ).check.out_lines.filterNot(_.endsWith(" ."))
+          Rsync.exec(context, list = true, args = List("--", Rsync.terminate(target)))
+            .check.out_lines.filterNot(_.endsWith(" ."))
         if (list.nonEmpty && !list.exists(_.endsWith(Hg_Sync._NAME))) {
           error("No .hg_sync meta data in " + quote(target))
         }
 
         val id_content = id(rev = rev)