[serlib] Fix wrong pack name for ltac2_ltac1 plugin.

Bug introduced in #820 Co-authored-by: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
ejgallego · Sep 17, 2024 · fe6ce0e · fe6ce0e
1 parent 68c3cdb
commit fe6ce0e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/serlib/plugins/ltac2_ltac1/dune b/serlib/plugins/ltac2_ltac1/dune
@@ -1,5 +1,5 @@
 (library
- (name serlib_btauto)
+ (name serlib_ltac2_ltac1)
  (public_name coq-lsp.serlib.ltac2_ltac1)
  (synopsis "Serialization Library for Coq Ltac2_ltac1 Plugin")
  (preprocess