From 608145bb25f8c759c5127e1305236205cb0199df Mon Sep 17 00:00:00 2001 From: Marc-Antoine Ouimet Date: Thu, 26 May 2022 23:00:14 -0400 Subject: [PATCH] Fix linting issue --- src/core/recsgn.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/recsgn.ml b/src/core/recsgn.ml index 01bd7f1cc..56b15e0e1 100644 --- a/src/core/recsgn.ml +++ b/src/core/recsgn.ml @@ -158,7 +158,7 @@ let sgnDeclToHtml = Html.printing := true; let html_buffer = Buffer.create 16 in - let html_formatter = Format.formatter_of_buffer html_buffer in + let html_formatter = Format.formatter_of_buffer html_buffer in Format.pp_set_margin html_formatter 200; Format.fprintf html_formatter "%a" Pretty.Ext.DefaultPrinter.fmt_ppr_sgn_decl d; Format.pp_print_flush html_formatter ();