From ac03d876835ac9e05a6ce661726c3439490ca14c Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 6 Dec 2024 02:42:14 -0800 Subject: [PATCH] Apply suggestions from code review --- coq_tools/find_bug.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coq_tools/find_bug.py b/coq_tools/find_bug.py index 9d26b7b..1ebb241 100755 --- 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, "Stdlib")] + list(env[passing_prefix + "libnames"]) + [(coq_user_contrib_path, "Coq")] ) for p in coqpath_paths: env[passing_prefix + "libnames"] = tuple(