Fix: default warning in unified-options.etex
Fix: default warning in unified-options.etex

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