Apply suggestions from code review

JasonGross · Dec 6, 2024 · 0ca0ad9 · 0ca0ad9
1 parent ac03d87
commit 0ca0ad9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq_tools/find_bug.py b/coq_tools/find_bug.py
@@ -2250,7 +2250,7 @@ def make_make_coqc(coqc_prog, **kwargs):
                         list(env[passing_prefix + "libnames"]) + [(coq_theories_path, "Corelib")]
                     )
                     env[passing_prefix + "libnames"] = tuple(
-                        list(env[passing_prefix + "libnames"]) + [(coq_user_contrib_path, "Coq")]
+                        list(env[passing_prefix + "libnames"]) + [(coq_user_contrib_path, "Stdlib")]
                     )
                     for p in coqpath_paths:
                         env[passing_prefix + "libnames"] = tuple(