diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2015-06-20 12:42:09 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2015-06-20 20:10:13 +0200 |
| commit | 35fe72c531b9e0d03684512583beec50893b4fa6 (patch) | |
| tree | b533a2adfa93f75b5fb2f6977b9f8da5facf73be /makefile.patch | |
| parent | 6ee0f9b9d740d45b580c8844514a0846ab54e8d1 (diff) | |
Rename is_choice_symbol_ to is_choice_sym.
Consistent with other internal names and avoids the collision with the
function in a neater way.
Diffstat (limited to 'makefile.patch')
0 files changed, 0 insertions, 0 deletions