diff --git a/infer/lib/python/inferlib/analyze.py b/infer/lib/python/inferlib/analyze.py
index 1c4b7499d..da7c63f29 100644
--- a/infer/lib/python/inferlib/analyze.py
+++ b/infer/lib/python/inferlib/analyze.py
@@ -445,9 +445,8 @@ class Infer:
             self.timing['makefile_generation'] = 0
 
         else:
-            if self.args.analyzer == config.ANALYZER_ERADICATE:
-                infer_analyze.append('-intraprocedural')
-            if self.args.analyzer == config.ANALYZER_CHECKERS:
+            if self.args.analyzer in [config.ANALYZER_CHECKERS,
+                                      config.ANALYZER_ERADICATE]:
                 os.environ['INFER_ONDEMAND'] = 'Y'
 
             os.environ['INFER_OPTIONS'] = ' '.join(infer_options)