Remove obsolete comment from generator.
authorRichard Jones <rjones@redhat.com>
Wed, 10 Jun 2009 14:31:29 +0000 (15:31 +0100)
committerRichard Jones <rjones@redhat.com>
Wed, 10 Jun 2009 14:31:29 +0000 (15:31 +0100)
commit179778adeed965a9652c344a201d2078d868d391
treefc0e3de31d578db1170c8a268cdbee895667bd88
parentd96554c58fd48db02156044fc15b181e453f0315
Remove obsolete comment from generator.
src/generator.ml