diff options
Diffstat (limited to 'src/scTypes.ml')
-rw-r--r-- | src/scTypes.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/scTypes.ml b/src/scTypes.ml index 46886a9..a8aa198 100644 --- a/src/scTypes.ml +++ b/src/scTypes.ml @@ -200,6 +200,7 @@ module Result = struct | Error x -> (* let buffer = Buffer.create 16 in + Buffer.add_string buffer "#Error :"; let b = Format.formatter_of_buffer buffer in Errors.printf b x; Format.pp_print_flush b (); |