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 /stm | |
| parent | 5824a2c9362a6e33eb43b5e0e2c7572abeee2511 (diff) | |
CLEANUP: the definition of the "Constrexpr.case_expr" type was simplified
Diffstat (limited to 'stm')
| -rw-r--r-- | stm/texmacspp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stm/texmacspp.ml b/stm/texmacspp.ml index 2a09143940..1996d35259 100644 --- a/stm/texmacspp.ml +++ b/stm/texmacspp.ml @@ -347,7 +347,7 @@ and pp_cases_pattern_expr cpe = xmlApply loc (xmlOperator "delimiter" ~attr:["name", delim] loc :: [pp_cases_pattern_expr cpe]) -and pp_case_expr (e, (name, pat)) = +and pp_case_expr (e, name, pat) = match name, pat with | None, None -> xmlScrutinee [pp_expr e] | Some (loc, name), None -> |