diff --git a/tools/chplcheck/src/chplcheck.py b/tools/chplcheck/src/chplcheck.py index 5aeafea7b03b..18df64855843 100755 --- a/tools/chplcheck/src/chplcheck.py +++ b/tools/chplcheck/src/chplcheck.py @@ -263,7 +263,7 @@ def main(): printed_warning = False - for filename, context in chapel.files_with_contexts(args.filenames): + for filename, context in chapel.files_with_stdlib_contexts(args.filenames): context.set_module_paths([], []) # Silence errors, warnings etc. -- we're just linting.