diff --git a/scripts/goblint-lib-modules.py b/scripts/goblint-lib-modules.py index 8ae3b4b3eb..fc6d33b421 100755 --- a/scripts/goblint-lib-modules.py +++ b/scripts/goblint-lib-modules.py @@ -65,5 +65,5 @@ missing_modules = src_modules - goblint_lib_modules if len(missing_modules) > 0: - print(f"Modules missing from {goblint_lib_path}: {missing_modules}") + print(f"Modules missing from {goblint_lib_paths[0]}: {missing_modules}") sys.exit(1)