[minor] add rec_check.ml copyright info (as suggested by Damien)
[minor] add rec_check.ml copyright info (as suggested by Damien)

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml