From d9b76814ddbb32b4c4f41fbcee3afe1cd3b51ca6 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 2 Oct 2022 23:07:45 -0400
Subject: [PATCH] ignore

---
 src/base/proof-trace/.ocamlformat-ignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 src/base/proof-trace/.ocamlformat-ignore

diff --git a/src/base/proof-trace/.ocamlformat-ignore b/src/base/proof-trace/.ocamlformat-ignore
new file mode 100644
index 00000000..72400434
--- /dev/null
+++ b/src/base/proof-trace/.ocamlformat-ignore
@@ -0,0 +1 @@
+proof_ser.bare