src/Pure/Tools/check_keywords.scala
changeset 61276 8a4bd05c1735
parent 59895 a68a0fec288d
child 65827 3bba3856b56c
     1.1 --- a/src/Pure/Tools/check_keywords.scala	Sun Sep 27 10:11:15 2015 +0200
     1.2 +++ b/src/Pure/Tools/check_keywords.scala	Tue Sep 29 13:54:04 2015 +0200
     1.3 @@ -32,7 +32,7 @@
     1.4    }
     1.5  
     1.6    def check_keywords(
     1.7 -    progress: Build.Progress,
     1.8 +    progress: Progress,
     1.9      keywords: Keyword.Keywords,
    1.10      check: Set[String],
    1.11      paths: List[Path])