From 9518311d758b42663bfd2e0d84e9a06824f38152 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Mon, 2 Sep 2019 14:03:39 +0200
Subject: Pattern matching order error

---
 src/scTypes.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/scTypes.ml')

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 ();
-- 
cgit v1.2.3