remove catapult-file

imandra-ai · Sep 5, 2023 · 13b8204 · 13b8204
1 parent d295f7e
commit 13b8204
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 333 deletions.
diff --git a/catapult-file.opam b/catapult-file.opam
diff --git a/dune-project b/dune-project
@@ -19,14 +19,6 @@
     (odoc :with-doc)
     (ocaml (>= "4.08"))))
 
-(package
-  (name catapult-file)
-  (synopsis "File logger for catapult")
-  (depends
-    (catapult (= :version))
-    (odoc :with-doc)
-    (ocaml (>= "4.08"))))
-
 (package
   (name catapult-sqlite)
   (synopsis "Sqlite-based backend for Catapult tracing")

diff --git a/src/file/catapult_file.ml b/src/file/catapult_file.ml
diff --git a/src/file/catapult_file.mli b/src/file/catapult_file.mli
diff --git a/src/file/dune b/src/file/dune