diff --git a/sledge/tools/opam/dev-tools.opam b/sledge/tools/opam/dev-tools.opam index 35a5394a0..734e5a9c2 100644 --- a/sledge/tools/opam/dev-tools.opam +++ b/sledge/tools/opam/dev-tools.opam @@ -4,7 +4,6 @@ version: "0.1" depends: [ "bisect_ppx" {>= "1.3.4"} "merlin" - "ocamlformat" "ocp-indent" "patdiff" "tuareg"