aboutsummaryrefslogtreecommitdiff
path: root/src/scTypes.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/scTypes.ml')
-rw-r--r--src/scTypes.ml1
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 ();