From 9518311d758b42663bfd2e0d84e9a06824f38152 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly 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