diff --git a/infer/bin/inferlib.py b/infer/bin/inferlib.py index 58f895cd4..b97d3500d 100644 --- a/infer/bin/inferlib.py +++ b/infer/bin/inferlib.py @@ -616,9 +616,6 @@ class Infer: '-analyzer', self.args.analyzer ] - if self.args.specs_dirs: - infer_print_options += self.args.specs_dirs - exit_status = subprocess.check_call( infer_print_cmd + infer_print_options )