diff --git a/src/kernel_services/plugin_entry_points/log.ml b/src/kernel_services/plugin_entry_points/log.ml index 2aa52b66aaa05d4cd82672c4ffc78c03259c395e..88146911ff78da13a9b13aacbe18f0fa025d3661 100644 --- a/src/kernel_services/plugin_entry_points/log.ml +++ b/src/kernel_services/plugin_entry_points/log.ml @@ -21,7 +21,7 @@ (**************************************************************************) (* Messages longer than N characters are truncated when printed on terminal. *) -let max_message_length = 2097152 +let max_message_length = 10000 type kind = Result | Feedback | Debug | Warning | Error | Failure