diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2019-09-02 14:03:39 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2019-09-02 14:03:39 +0200 |
commit | 9518311d758b42663bfd2e0d84e9a06824f38152 (patch) | |
tree | 25c9722a498d643d426fd0cf4222c2944a939c8d /src/scTypes.ml | |
parent | bd19e0f8d0616526fec25031124b3a33bbe3c8a3 (diff) |
Pattern matching order error
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 (); |