diff -r dd65033fed78 -r 000049335247 src/Tools/Code/code_scala.ML
--- a/src/Tools/Code/code_scala.ML	Wed Jul 14 14:16:12 2010 +0200
+++ b/src/Tools/Code/code_scala.ML	Wed Jul 14 14:20:47 2010 +0200
@@ -7,7 +7,7 @@
 signature CODE_SCALA =
 sig
   val target: string
-  val check: theory -> Path.T -> unit
+  val check: theory -> unit
   val setup: theory -> theory
 end;