diff --git a/src/proof-tracy-bare-dump/dune b/src/proof-trace-bare-dump/dune
similarity index 100%
rename from src/proof-tracy-bare-dump/dune
rename to src/proof-trace-bare-dump/dune
diff --git a/src/proof-tracy-bare-dump/proof_trace_dump.ml b/src/proof-trace-bare-dump/proof_trace_dump.ml
similarity index 100%
rename from src/proof-tracy-bare-dump/proof_trace_dump.ml
rename to src/proof-trace-bare-dump/proof_trace_dump.ml