mailman: open /usr/share/images/mailman, revert to mod_access_compat

[hcoop/domtool2.git] / src / tycheck.sig

diff --git a/src/tycheck.sig b/src/tycheck.sig
index 19ec6d4..52630b8 100644 (file)
--- a/src/tycheck.sig
+++ b/src/tycheck.sig
@@ -1,5 +1,6 @@
 (* HCoop Domtool (http://hcoop.sourceforge.net/)
  * Copyright (c) 2006, Adam Chlipala
+ * Copyright (c) 2014 Clinton Ebadi <clinton@unknownlamer.org>
  *
  * This program is free software; you can redistribute it and/or
  * modify it under the terms of the GNU General Public License
@@ -28,7 +29,7 @@ signature TYCHECK = sig
 
     val checkDecl : Env.env -> Ast.decl -> Env.env
 
-    val checkFile : Env.env -> Ast.typ -> Ast.file -> Env.env
+    val checkFile : Env.env -> Ast.file -> Env.env
 
     val resetUnif : unit -> unit
     val newUnif : unit -> Ast.typ'