From c1cab3ba606f7034f2785f06c0d3892bca3976cf Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 18 Aug 2017 11:36:05 +0200
Subject: Removing cumbersome location in multiple patterns.

This is to have a better symmetry between CCases and GCases.
---
 API/API.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'API')

diff --git a/API/API.mli b/API/API.mli
index abbdf22b91..99ba3eea47 100644
--- a/API/API.mli
+++ b/API/API.mli
@@ -2388,7 +2388,7 @@ sig
    and case_expr = constr_expr * Names.Name.t Loc.located option * cases_pattern_expr option
 
    and branch_expr =
-     (cases_pattern_expr list Loc.located list * constr_expr) Loc.located
+     (cases_pattern_expr list list * constr_expr) Loc.located
 
    and binder_expr =
      Names.Name.t Loc.located list * binder_kind * constr_expr
-- 
cgit v1.2.3