diff --git a/lib/borrow_polonius/dune b/lib/borrow_polonius/dune
index 2ffd59dd..a7e16538 100644
--- a/lib/borrow_polonius/dune
+++ b/lib/borrow_polonius/dune
@@ -1,6 +1,7 @@
 ; ADR-022 M1: the Polonius-style loan solver lives in its own library, created
 ; but NOT yet wired into `affinescript` (nothing depends on it). M3 wires it in
 ; behind a parallel-run diff against the lexical checker; M4 cuts over.
+
 (library
  (name borrow_polonius)
  (public_name affinescript.borrow_polonius)