Fmt

mbarbin · Sep 17, 2024 · a6fa1b5 · a6fa1b5
1 parent d1788c1
commit a6fa1b5
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/lib/cmdlang_cmdliner_runner/src/dune b/lib/cmdlang_cmdliner_runner/src/dune
@@ -1,12 +1,7 @@
 (library
  (name cmdlang_cmdliner_runner)
  (public_name cmdlang-cmdliner-runner)
- (flags
-  :standard
-  -w
-  +a-4-40-41-42-44-45-48-66
-  -warn-error
-  +a)
+ (flags :standard -w +a-4-40-41-42-44-45-48-66 -warn-error +a)
  (libraries cmdlang cmdlang_to_cmdliner cmdliner err)
  (instrumentation
   (backend bisect_ppx))