generator: Check the flags fields.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 17 May 2011 14:50:16 +0000 (15:50 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 13 Jun 2011 13:18:44 +0000 (14:18 +0100)
commitff2b337389bc4629d0d7bfcbace1ec966314177e
treecacf75cc9592c4b6ad982d4f7a39ea1c55a70c71
parentceb88ac45566b3aafde1a0eb97d6f912f3473bf1
generator: Check the flags fields.
(cherry picked from commit b43482964a8c7e19f47943506872cd58601c28e9)
generator/generator_checks.ml