From eeedd119ee95a0fa1da7e14c4a4da250b61d4f60 Mon Sep 17 00:00:00 2001 From: Lasse Letager Hansen Date: Mon, 25 Nov 2024 16:38:08 +0100 Subject: [PATCH] fmt --- engine/backends/coq/coq/coq_backend.ml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/engine/backends/coq/coq/coq_backend.ml b/engine/backends/coq/coq/coq_backend.ml index 97e5cf465..3bb3a73ef 100644 --- a/engine/backends/coq/coq/coq_backend.ml +++ b/engine/backends/coq/coq/coq_backend.ml @@ -781,7 +781,10 @@ struct ^^ string "%float" method literal_Int ~value ~negative ~kind = - parens((if negative then !^"-" else empty) ^^ string value ^^ colon ^^ space ^^ !^"t_" ^^ string (show_int_kind kind)) + parens + ((if negative then !^"-" else empty) + ^^ string value ^^ colon ^^ space ^^ !^"t_" + ^^ string (show_int_kind kind)) method literal_String x1 = string "\"" ^^ string x1 ^^ string "\"%string" @@ -1023,7 +1026,7 @@ let translate m _ ~bundles:_ (items : AST.item list) : Types.file list = let sourcemap, contents = let annotated = my_printer#entrypoint_modul items in let open Generic_printer.AnnotatedString in - let header = pure (hardcoded_coq_headers) in + let header = pure hardcoded_coq_headers in let annotated = concat header annotated in (to_sourcemap annotated, to_string annotated) in