X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/b3159a7069504fe2fb2b781cd6f438decaf0937a..984a831b49726c8ac1b517631b4bb4d071d1bb6a:/src/tycheck.sig

diff --git a/src/tycheck.sig b/src/tycheck.sig
index 19ec6d4..52630b8 100644
--- 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'