Fix formatting

rems-project · Jan 7, 2025 · f29a3c7 · f29a3c7
1 parent 9243947
commit f29a3c7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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 ->