Sema: use the correct integer

Sure would be nice if these two incompatible indexes had distinct types.
5515b81f8cVeikka Tuominen committed on 3/28/2022, 8:05:21 PM· committed by Andrew Kelleyparenta415fe0
1 file changedLine totals unavailable