Scheme ... with is indented improperly

[audreyseo]

Mutual induction schemes are not indented properly. Multiple with additions are indented like so:

Scheme a_mut := Induction for a Sort Prop
    with b_mut := Induction for b Sort Prop
                      with c_mut := Induction for c Sort Prop
                      with d_mut := Induction for d Sort Prop.

It seems like this would have to follow the same pattern of indentation as mutually recursive fixpoints.

[Matafou]

Indeed thx for reporting!