Fix goblint-lib-modules.py output

goblint · Jan 11, 2024 · 69f28b2 · 69f28b2
1 parent e847c8f
commit 69f28b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)