proper imports;
authorwenzelm
Wed Oct 05 14:34:42 2016 +0200 (2016-10-05)
changeset 64055acd3e25975a2
parent 64054 1fc9ab31720d
child 64056 0edc966bee55
proper imports;
src/Pure/Tools/ci_profile.scala
     1.1 --- a/src/Pure/Tools/ci_profile.scala	Wed Oct 05 14:15:54 2016 +0200
     1.2 +++ b/src/Pure/Tools/ci_profile.scala	Wed Oct 05 14:34:42 2016 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  package isabelle
     1.5  
     1.6  
     1.7 -import java.time._
     1.8 +import java.time.{Instant, ZoneId}
     1.9  import java.time.format.DateTimeFormatter
    1.10  import java.util.{Properties => JProperties}
    1.11