Merge pull request #696 from ejgallego/remove_legacy_build_mode

[coq] Overlay for coq/coq#18385
ejgallego · Nov 12, 2024 · a80801b · a80801b
2 parents ee87c9d + 4afc319
commit a80801b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq/loader.ml b/coq/loader.ml
@@ -93,7 +93,7 @@ let plugin_handler user_loader =
   let loader = Option.default default_loader user_loader in
   let safe_loader = safe_loader loader in
   fun fl_pkg ->
-    let _, fl_pkg = Mltop.PluginSpec.repr fl_pkg in
+    let fl_pkg = Mltop.PluginSpec.to_package fl_pkg in
     match map_serlib fl_pkg with
     | Some serlib_pkg ->
       safe_loader serlib_pkg