diff --git a/.ocamlformat b/.ocamlformat
index b883181edadd567d23d0f89fc479c33bdc6e4e3e..b12a726f7de93a937f6bf5db5a5052949bdff35a 100644
--- a/.ocamlformat
+++ b/.ocamlformat
@@ -1,4 +1,4 @@
-version=0.19.0
+version=0.20.0
 exp-grouping=parens
 if-then-else=keyword-first
 max-indent=2
diff --git a/src/language.ml b/src/language.ml
index ed602c42d9b462d96b3b1f623e3705cf910cc4cb..b7171e7a04e20cbf6fa94b353330ae0bbfad9138 100644
--- a/src/language.ml
+++ b/src/language.ml
@@ -16,7 +16,6 @@ type ioshape = {
 }
 
 let loaded_nets = Why3.Term.Hls.create 10
-
 let lookup_loaded_nets = Why3.Term.Hls.find_opt loaded_nets
 
 let register_astuple nb_inputs nb_outputs filename env =