* casetab.c (set_identity, shuffle): Use lint_assume.
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 21 Sep 2011 20:14:57 +0000 (13:14 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 21 Sep 2011 20:14:57 +0000 (13:14 -0700)
commit45c2afd612c04eb594aad53c7292a93ebfa367be
tree46d9cb6b574bec3d0783c4de9db5f9a15761014e
parent12b3abd58ba9bfb6c2e8611254a2fa765dc1e492
* casetab.c (set_identity, shuffle): Use lint_assume.
src/ChangeLog
src/casetab.c