diff options
Diffstat (limited to 'Lib/ocaml/typecheck.i')
| -rw-r--r-- | Lib/ocaml/typecheck.i | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Lib/ocaml/typecheck.i b/Lib/ocaml/typecheck.i index 51e66061b..4c3500690 100644 --- a/Lib/ocaml/typecheck.i +++ b/Lib/ocaml/typecheck.i @@ -1,7 +1,4 @@ /* ----------------------------------------------------------------------------- - * See the LICENSE file for information on copyright, usage and redistribution - * of SWIG, and the README file for authors - http://www.swig.org/release.html. - * * typecheck.i * * Typechecking rules |