Tidy up the generated parsing code.
authorRichard W.M. Jones <rjones@redhat.com>
Sat, 9 Aug 2008 09:47:06 +0000 (10:47 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Sat, 9 Aug 2008 09:47:06 +0000 (10:47 +0100)
commit795abd3201eb6eae29ba8abd60db928f5889fdbe
treeb0987202a9348851d02934b97156d0932ebe099e
parent45b7766e66fb59ece5f07305553dc54a26b32d9d
Tidy up the generated parsing code.
extract/codegen/kerneldb_to_parser.ml
lib/kernel_net_device.ml
lib/kernel_net_device.mli
lib/kernel_task_struct.ml
lib/kernel_task_struct.mli