format

imandra-ai · Apr 15, 2024 · 74aeae6 · 74aeae6
1 parent c058b6b
commit 74aeae6
Showing 1 changed file with 1 addition and 8 deletions.
diff --git a/src/unix/dune b/src/unix/dune
@@ -2,14 +2,7 @@
  (name batrpc_unix)
  (public_name batrpc.unix)
  (synopsis "RPC over unix sockets and pipes.")
- (flags
-  :standard
-  -open
-  Imandrakit
-  -open
-  Imandrakit_thread
-  -open
-  Batrpc_core)
+ (flags :standard -open Imandrakit -open Imandrakit_thread -open Batrpc_core)
  (libraries
   (re_export batrpc.core)
   batrpc.client