# HG changeset patch
# User wenzelm
# Date 1607175401 -3600
# Node ID eb526f6c92b7af5c4195b8278bea7710c2804da9
# Parent  ab1a49ac456b341615fac7421b8ab9a11e265911
tuned;

diff -r ab1a49ac456b -r eb526f6c92b7 src/Pure/PIDE/command.scala
--- a/src/Pure/PIDE/command.scala	Sat Dec 05 13:45:09 2020 +0100
+++ b/src/Pure/PIDE/command.scala	Sat Dec 05 14:36:41 2020 +0100
@@ -8,7 +8,6 @@
 package isabelle
 
 
-import scala.collection.mutable
 import scala.collection.immutable.SortedMap