Simpler production for INTEGER
authorKim Gräsman <kim.grasman@gmail.com>
Sun, 9 Jun 2019 12:49:05 +0000 (14:49 +0200)
committerKim Gräsman <kim.grasman@gmail.com>
Sun, 9 Jun 2019 12:49:05 +0000 (14:49 +0200)
commit989d0948f081d10157cf70bea57e9ab0e11d26c1
tree343c9dc33a4eb225e79ed84ce07aabbf6cbcc29b
parent3d6cb9dd0729a0fae4b18a2639194f25adcbdb58
Simpler production for INTEGER

Name the production integer_type instead of plain_integer_type.

Unique the integer type, so we don't accidentally modify the INTEGER
keyword.
asn1ate/parser.py