Fix stale names

mbarbin · Feb 23, 2025 · e21010a · e21010a
1 parent 2cc4642
commit e21010a
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/lib/bopkit_bdd_cli/src/dune b/lib/bopkit_bdd_cli/src/dune
@@ -1,6 +1,6 @@
 (library
  (name bopkit_bdd_cli)
- (public_name bopkit.bdd-command)
+ (public_name bopkit.bdd-cli)
  (flags
   :standard
   -w

diff --git a/lib/bopkit_process_cli/src/dune b/lib/bopkit_process_cli/src/dune
@@ -1,6 +1,6 @@
 (library
  (name bopkit_process_cli)
- (public_name bopkit.process-command)
+ (public_name bopkit.process-cli)
  (flags
   :standard
   -w

diff --git a/project/subleq/lib/subleq_cli/src/dune b/project/subleq/lib/subleq_cli/src/dune
@@ -1,6 +1,6 @@
 (library
  (name subleq_cli)
- (public_name bopkit.subleq-command)
+ (public_name bopkit.subleq-cli)
  (flags
   :standard
   -w

diff --git a/project/visa/lib/visa_cli/src/dune b/project/visa/lib/visa_cli/src/dune
@@ -1,6 +1,6 @@
 (library
  (name visa_cli)
- (public_name bopkit.visa-command)
+ (public_name bopkit.visa-cli)
  (flags
   :standard
   -w