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