src/Pure/General/pretty.scala

--- a/src/Pure/General/pretty.scala	Thu Apr 04 12:06:23 2013 +0200
+++ b/src/Pure/General/pretty.scala	Thu Apr 04 17:16:51 2013 +0200
@@ -7,9 +7,6 @@
 package isabelle
 
 
-import java.awt.FontMetrics
-
-
 object Pretty
 {
   /* spaces */