format

imandra-ai · Jul 5, 2022 · 59c1d72 · 59c1d72
1 parent bac633d
commit 59c1d72
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.ocamlformat b/.ocamlformat
@@ -1,4 +1,4 @@
-version = 0.20.0
+version = 0.20.1
 profile=conventional
 margin=80
 if-then-else=k-r