@@ -276,7 +276,7 @@ replaceSplits l ups = updateRHSs 1 (map (rep (expandBraces l)) ups)
276 -- this isn't supported in a pattern, so special case here
276 -- this isn't supported in a pattern, so special case here
277 nshow (PRef _ (UN z)) | z == txt "Z" = "Z"
277 nshow (PRef _ (UN z)) | z == txt "Z" = "Z"
278 nshow (PApp _ (PRef _ (UN s)) [x]) | s == txt "S" =
278 nshow (PApp _ (PRef _ (UN s)) [x]) | s == txt "S" =
279− "S " ++ addBrackets (nshow (getTm x))
279+ "(S " ++ addBrackets (nshow (getTm x)) ++ ")"
280 nshow t = show t
280 nshow t = show t
282 -- if there's any {n} replace with {n=n}
282 -- if there's any {n} replace with {n=n}