Increase max line length & format comments

goblint · Feb 21, 2021 · f2d9f4f · f2d9f4f
1 parent 90dcfbe
commit f2d9f4f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.ocamlformat b/.ocamlformat
@@ -1 +1,3 @@
 profile = default
+margin = 100
+wrap-comments = true