diff --git a/backend/cn/lib/source_injection.ml b/backend/cn/lib/source_injection.ml
index 3225d2b24..127d132e8 100644
--- a/backend/cn/lib/source_injection.ml
+++ b/backend/cn/lib/source_injection.ml
@@ -349,7 +349,9 @@ let return_injs xs =
            | None ->
              Ok
                ({ footprint = { start_pos; end_pos };
-                  kind = InStmt (1, String.concat "" ("{ " :: inj_strs) ^ "goto __cn_epilogue; }\n")
+                  kind =
+                    InStmt
+                      (1, String.concat "" ("{ " :: inj_strs) ^ "goto __cn_epilogue; }\n")
                 }
                 :: acc)
            | Some e ->