Skip to content

Commit 69f28b2

Browse files
committed
Fix goblint-lib-modules.py output
1 parent e847c8f commit 69f28b2

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

scripts/goblint-lib-modules.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -65,5 +65,5 @@
6565

6666
missing_modules = src_modules - goblint_lib_modules
6767
if len(missing_modules) > 0:
68-
print(f"Modules missing from {goblint_lib_path}: {missing_modules}")
68+
print(f"Modules missing from {goblint_lib_paths[0]}: {missing_modules}")
6969
sys.exit(1)

0 commit comments

Comments
 (0)