Re: [PATCH] diffseq: avoid compiler warning when !USE_HEURISTIC

[Paul Eggert]

Thanks, but here the cure is worse than the disease, so I suggest building 
without -Wunused-but-set-variable, at least for that file.