Fix linting issue

Beluga-lang · May 27, 2022 · 608145b · 608145b
1 parent 785fac6
commit 608145b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 ();