pb update def

1 job for master in 26 seconds
Name Stage Failure
failed
build Build
(However, some guarded clause may match this value.)
js_of_eliom -ppx -c -package lwt_ppx -package js_of_ocaml-ppx -package js_of_ocaml-ppx_deriving_json -package xml-light -package GraphEditor MarkovChain.ml
eliomc -ppx -infer -package lwt_ppx -package js_of_ocaml-ppx_deriving_json -package xml-light cosmosweb.eliom
File "cosmosweb.eliom", line 27, characters 5-8:
Error: Unbound value txt
Hint: Did you mean tot?
make: *** [_server/cosmosweb.type_mli] Error 2
Makefile:158: recipe for target '_server/cosmosweb.type_mli' failed
ERROR: Job failed: exit code 1