646b892680
Some checks failed
Periodic Merges (6h) / master → staging-nixos (push) Failing after 12m50s
Periodic Merges (6h) / master → staging-next (push) Failing after 12m54s
Periodic Merges (24h) / merge-base(master,staging) → haskell-updates (push) Failing after 11m54s
Periodic Merges (6h) / staging-next → staging (push) Failing after 12m13s
Periodic Merges (24h) / staging-next-25.05 → staging-25.05 (push) Failing after 13m24s
Periodic Merges (24h) / release-25.05 → staging-next-25.05 (push) Failing after 14m28s
12 lines
491 B
Diff
12 lines
491 B
Diff
--- a/coq/loader.ml 2024-11-14 17:54:36.562137810 +0100
|
|
+++ b/coq/loader.ml 2024-11-14 17:55:01.485154767 +0100
|
|
@@ -81,7 +81,7 @@
|
|
Exninfo.iraise iexn
|
|
|
|
let plugin_handler user_loader =
|
|
- let loader = Option.default (Fl_dynload.load_packages ~debug:false) user_loader in
|
|
+ let loader = Option.default (Fl_dynload.load_packages ?loadfile:None ~debug:false) user_loader in
|
|
let safe_loader = safe_loader loader in
|
|
fun fl_pkg ->
|
|
let _, fl_pkg = Mltop.PluginSpec.repr fl_pkg in
|