summaryrefslogtreecommitdiff
path: root/compiler/InterpreterPaths.ml
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--compiler/InterpreterPaths.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/InterpreterPaths.ml b/compiler/InterpreterPaths.ml
index 729a3577..999b8ab0 100644
--- a/compiler/InterpreterPaths.ml
+++ b/compiler/InterpreterPaths.ml
@@ -311,7 +311,7 @@ let try_read_place (access : access_kind) (p : place) (ctx : eval_ctx) :
(* Note that we ignore the new environment: it should be the same as the
original one.
*)
- if !Config.check_invariants then
+ if !Config.sanity_checks then
if ctx1 <> ctx then (
let msg =
"Unexpected environment update:\nNew environment:\n"