[coq] [loader] Update plugin table.

ejgallego · May 23, 2024 · 26305fa · 26305fa
1 parent 3fbce9c
commit 26305fa
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/coq/loader.ml b/coq/loader.ml
@@ -38,13 +38,15 @@ let check_package_exists fl_pkg =
 let map_serlib fl_pkg =
   let supported = match fl_pkg with
     (* Supported by serlib *)             (* directory   *)
+    | "coq-core.plugins.btauto"           (* btauto *)
     | "coq-core.plugins.cc"               (* cc  *)
     | "coq-core.plugins.extraction"       (* extraction  *)
     | "coq-core.plugins.firstorder"       (* firstorder  *)
     | "coq-core.plugins.funind"           (* funind      *)
     | "coq-core.plugins.ltac"             (* ltac        *)
     | "coq-core.plugins.ltac2"            (* ltac2       *)
     | "coq-core.plugins.micromega"        (* micromega   *)
+    | "coq-core.plugins.micromega_core"   (* micromega_core *)
     | "coq-core.plugins.ring"             (* ring        *)
     | "coq-core.plugins.ssreflect"        (* ssreflect   *)
     | "coq-core.plugins.ssrmatching"      (* ssrmatching *)