tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1--- a/coq/loader.ml 2024-11-14 17:54:36.562137810 +0100
2+++ b/coq/loader.ml 2024-11-14 17:55:01.485154767 +0100
3@@ -81,7 +81,7 @@
4 Exninfo.iraise iexn
5
6 let plugin_handler user_loader =
7- let loader = Option.default (Fl_dynload.load_packages ~debug:false) user_loader in
8+ let loader = Option.default (Fl_dynload.load_packages ?loadfile:None ~debug:false) user_loader in
9 let safe_loader = safe_loader loader in
10 fun fl_pkg ->
11 let _, fl_pkg = Mltop.PluginSpec.repr fl_pkg in