Remove ppx_deriving dependency

OCamlPro · Jul 25, 2023 · cf8416d · cf8416d
1 parent c87a4e9
commit cf8416d
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 4 deletions.
diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.opam
@@ -26,7 +26,6 @@ depends: [
   "fmt"
   "stdlib-shims"
   "ppx_blob"
-  "ppx_deriving"
   "camlzip" {>= "1.07"}
   "odoc" {with-doc}
 ]

diff --git a/dune-project b/dune-project
@@ -86,7 +86,6 @@ See more details on http://alt-ergo.ocamlpro.com/"
   fmt
   stdlib-shims
   ppx_blob
-  ppx_deriving
   (camlzip (>= 1.07))
   (odoc :with-doc)
  )

diff --git a/src/lib/dune b/src/lib/dune
@@ -25,7 +25,7 @@
     alt_ergo_prelude
     fmt
   )
-  (preprocess (pps ppx_blob ppx_deriving.show))
+  (preprocess (pps ppx_blob))
   (preprocessor_deps (glob_files ../preludes/*.ae))
 
   ; .mli only modules *also* need to be in this field

diff --git a/src/lib/reasoners/bitv.ml b/src/lib/reasoners/bitv.ml
@@ -199,7 +199,6 @@ module Shostak(X : ALIEN) = struct
       | Vextract of 'a * int * int
       | Vconcat of 'a * 'a
       | Vnot of 'a
-      (*     [@@deriving show] *)
 
     type 'a view = { descr : 'a view_descr ; size : int }