diff --git a/ocaml/mk_meta.sh b/ocaml/mk_meta.sh index 31e87ba..d45ed16 100755 --- a/ocaml/mk_meta.sh +++ b/ocaml/mk_meta.sh @@ -4,7 +4,7 @@ set -e cat >META <