fmt

hacspec · Nov 25, 2024 · 44e6295 · 44e6295
1 parent 5832f3f
commit 44e6295
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/engine/backends/coq/coq/coq_backend.ml b/engine/backends/coq/coq/coq_backend.ml
@@ -367,7 +367,11 @@ struct
         ^^ space ^^ string "in" ^^ break 1 ^^ body#p
 
       method expr'_Literal ~super x2 =
-        parens(x2#p ^^ space ^^ colon ^^ space ^^ (self#_do_not_override_lazy_of_ty AstPos_expr'_Literal_x0 super.typ)#p)
+        parens
+          (x2#p ^^ space ^^ colon ^^ space
+         ^^ (self#_do_not_override_lazy_of_ty AstPos_expr'_Literal_x0 super.typ)
+              #p)
+
       method expr'_LocalVar ~super:_ x2 = x2#p
 
       method expr'_Loop ~super:_ ~body ~kind ~state ~control_flow ~label:_
@@ -782,8 +786,7 @@ struct
         ^^ string "%float"
 
       method literal_Int ~value ~negative ~kind =
-          ((if negative then !^"-" else empty)
-          ^^ string value)
+        (if negative then !^"-" else empty) ^^ string value
 
       method literal_String x1 = string "\"" ^^ string x1 ^^ string "\"%string"