Mark Res_multi_printer.default_print_width as live

cknitt · cknitt · commit 8c76c2976b92 · 2024-11-11T16:30:41.000+01:00
diff --git a/compiler/syntax/src/res_multi_printer.mli b/compiler/syntax/src/res_multi_printer.mli
@@ -1,4 +1,4 @@
-val default_print_width : int
+val default_print_width : int [@@live]
 
 (* Interface to print source code to res.
  * Takes a filename called "input" and returns the corresponding formatted res syntax *)

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-val default_print_width : int`
	`1`	`+val default_print_width : int [@@live]`
`2`	`2`
`3`	`3`	`(* Interface to print source code to res.`
`4`	`4`	`* Takes a filename called "input" and returns the corresponding formatted res syntax *)`