diff options
| -rw-r--r-- | contrib/subtac/subtac_pretyping_F.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/subtac/subtac_pretyping_F.ml b/contrib/subtac/subtac_pretyping_F.ml index 9669acc23..a59d2483e 100644 --- a/contrib/subtac/subtac_pretyping_F.ml +++ b/contrib/subtac/subtac_pretyping_F.ml @@ -493,7 +493,8 @@ module SubtacPretyping_F (Coercion : Coercion.S) = struct let j = pretype tycon env isevars lvar (RCases (loc, None, [c], [p])) - (* Change case info *) + in + (* Change case info *) let j' = match kind_of_term j.uj_val with Case (ci, po, c, br) -> let pp_info = { ci.ci_pp_info with style = LetPatternStyle } in |