at master 470 B view raw
1--- a/sertop/sertop_loader.ml 2024-11-14 11:49:00.887576232 +0100 2+++ b/sertop/sertop_loader.ml 2024-11-14 11:49:32.433659096 +0100 3@@ -51,7 +51,7 @@ 4 else None 5 6 let plugin_handler user_handler = 7- let loader = Option.default (Fl_dynload.load_packages ~debug:false) user_handler in 8+ let loader = Option.default (Fl_dynload.load_packages ?loadfile:None ~debug:false) user_handler in 9 fun fl_pkg -> 10 try 11 let _, fl_pkg = Mltop.PluginSpec.repr fl_pkg in