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