format

imandra-ai · Mar 25, 2024 · 9a3f413 · 9a3f413
1 parent 63c2a8d
commit 9a3f413
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 11 deletions.
diff --git a/src/error/dune b/src/error/dune
@@ -1,14 +1,8 @@
-
 (library
  (public_name imandrakit.error)
  (name imandrakit_error)
  (preprocess
   (pps ppx_deriving.std))
  (flags :standard -open Imandrakit_common -open Imandrakit_ser)
  (synopsis "Error library for imandrakit")
- (libraries
-  imandrakit.common
-  imandrakit.ser
-  hmap
-  logs
-  containers))
+ (libraries imandrakit.common imandrakit.ser hmap logs containers))
diff --git a/src/ser/dune b/src/ser/dune
@@ -1,11 +1,8 @@
-
 (library
  (public_name imandrakit.ser)
  (name imandrakit_ser)
  (preprocess
   (pps ppx_deriving.std))
  (flags :standard -open Imandrakit_common)
  (synopsis "Serialization and deserialization in imandrakit")
- (libraries
-  imandrakit.common
-  containers))
+ (libraries imandrakit.common containers))