-
Committer:
Jean-Vincent Loddo
-
Date:
2017-05-26 12:53:19 UTC
-
Revision ID:
loddo@lipn.univ-paris13.fr-20170526125319-wksla1v9yvyiyt9n
Removed all boring warnings generated by recent OCaml versions (String.create, etc). Removed also currently unstable modules CORTEX/{lock,locked}.ml from compilation (related lines commented in ocamlbrics.mllib).