diff options
| author | Matej Kosik | 2015-12-16 17:31:25 +0100 |
|---|---|---|
| committer | Matej Kosik | 2015-12-18 15:58:52 +0100 |
| commit | 1b5f85d38db7a0d7cb9a4b9491a5563461373182 (patch) | |
| tree | bf4ea8472397e2e4b8bc380615df8f3a07f67dab /intf | |
| parent | 5824a2c9362a6e33eb43b5e0e2c7572abeee2511 (diff) | |
CLEANUP: the definition of the "Constrexpr.case_expr" type was simplified
Diffstat (limited to 'intf')
| -rw-r--r-- | intf/constrexpr.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/intf/constrexpr.mli b/intf/constrexpr.mli index 6543db6a17..8eff327dcd 100644 --- a/intf/constrexpr.mli +++ b/intf/constrexpr.mli @@ -93,7 +93,7 @@ type constr_expr = | CDelimiters of Loc.t * string * constr_expr and case_expr = - constr_expr * (Name.t located option * cases_pattern_expr option) + constr_expr * Name.t located option * cases_pattern_expr option and branch_expr = Loc.t * cases_pattern_expr list located list * constr_expr |