diff --git a/infer/src/backend/ondemand.ml b/infer/src/backend/ondemand.ml index 117d9a1a9..7faaf34b4 100644 --- a/infer/src/backend/ondemand.ml +++ b/infer/src/backend/ondemand.ml @@ -17,8 +17,7 @@ let trace () = Config.from_env_variable "INFER_TRACE_ONDEMAND" let one_cluster_per_procedure () = false let () = Config.ondemand_enabled := - Config.from_env_variable "INFER_ONDEMAND" && - not Config.analyze_models + Config.from_env_variable "INFER_ONDEMAND" let across_files () = true