coqchk: Cleanup environment manipulation in check_constant_declaration

Instead of doing (simplified code)
~~~ocaml
let check env kn cb =
  let flags = env.flags in
  let env' = set_flags env cb.flags in
  ...
  let env = add_constant cb kn (if poly then env else env') in
  set_flags env flags
~~~
(NB: when not poly env' has only the typing flags different from env)

we do
~~~ocaml
let check env kn cb =
  let env = set_flags env cb.flags in
  ...
  ()

let check env kn cb =
  let () = check env kn cb in
  add_constant cb kn env
~~~

0 files changed, 0 insertions, 0 deletions