Checker now disables VM and native

At the same time, we made the safe_env threading explicit.

1 files changed, 1 insertions, 1 deletions

diff --git a/checker/mod_checking.ml b/checker/mod_checking.ml
index 94e7c29201..ed617d73c2 100644
--- a/checker/mod_checking.ml
+++ b/checker/mod_checking.ml
@@ -25,7 +25,7 @@ let check_constant_declaration env kn cb =
   let ty = cb.const_type in
   let _ = infer_type env' ty in
   let () =
-    match Global.body_of_constant_body cb with
+    match Environ.body_of_constant_body env cb with
     | Some bd ->
       let j = infer env' (fst bd) in
       conv_leq env' j.uj_type ty