Add lib_usage in the package alt-ergo-lib

We add the executable `lib_usage` into the package `alt-ergo-lib` but we don't install it.
OCamlPro · Mar 19, 2024 · cc69441 · cc69441
1 parent b2b1265
commit cc69441
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/examples/dune b/examples/dune
@@ -6,6 +6,7 @@
 
 (rule
  (alias runtest)
+ (package alt-ergo-lib)
  (action
   (ignore-stdout
    (ignore-stderr