Forgotten warning message change from pchambart's review of 4137939c
Forgotten warning message change from pchambart's review of 4137939c

msprotz/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,yunxing/ocaml,eliberis/ocaml,yunxing/ocaml,msprotz/ocaml,msprotz/ocaml,msprotz/ocaml,msprotz/ocaml,yunxing/ocaml,yunxing/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,eliberis/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,yunxing/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml