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>
Tue, 17 May 2011 16:05:12 +0000 (17:05 +0100)
commitb43482964a8c7e19f47943506872cd58601c28e9
treedcf8d3cb64da5d2243258c0f603d31b340a1724a
parent34acb80a28d1b48e734883a32f7f3344dc216ec0
generator: Check the flags fields.
generator/generator_checks.ml