generator: Use shortname in check_state() call.
authorRichard Jones <rjones@redhat.com>
Sat, 17 Apr 2010 14:59:41 +0000 (15:59 +0100)
committerRichard Jones <rjones@redhat.com>
Sat, 17 Apr 2010 14:59:41 +0000 (15:59 +0100)
commit3297466d33e9f9b73ee806ff2ba90ede1a4a02ab
tree1eb686448ad1db0363dba038babea2f514a67b89
parent09a0427448b1f4328b9246d4d8a26610bb5228c8
generator: Use shortname in check_state() call.

Saves a tiny bit of space in the library.
src/generator.ml