Fix incorrect arguments to update_env_with_coqpath_folders

JasonGross · JasonGross · commit e13f58eb8972 · 2025-01-25T21:29:50.000-08:00
diff --git a/coq_tools/inline_imports.py b/coq_tools/inline_imports.py
@@ -144,7 +144,7 @@ def main():
     update_env_with_libnames(env, args)
     if args.inline_user_contrib:
         update_env_with_coqpath_folders(
-            env, os.path.join(get_coqc_coqlib(env["coqc"], coq_args=env["coqc_args"], **env), "user-contrib")
+            "", env, os.path.join(get_coqc_coqlib(env["coqc"], coq_args=env["coqc_args"], **env), "user-contrib")
         )
 
     filename = args.input_file.name

Original file line number	Diff line number	Diff line change
`@@ -144,7 +144,7 @@ def main():`
`144`	`144`	`update_env_with_libnames(env, args)`
`145`	`145`	`if args.inline_user_contrib:`
`146`	`146`	`update_env_with_coqpath_folders(`
`147`		`- env, os.path.join(get_coqc_coqlib(env["coqc"], coq_args=env["coqc_args"], **env), "user-contrib")`
	`147`	`+ "", env, os.path.join(get_coqc_coqlib(env["coqc"], coq_args=env["coqc_args"], **env), "user-contrib")`
`148`	`148`	`)`
`149`	`149`
`150`	`150`	`filename = args.input_file.name`