Add comment to the code about InitNone and InitEmpty.
authorRichard W.M. Jones <rjones@redhat.com>
Sat, 11 Jul 2009 12:37:24 +0000 (13:37 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Sat, 11 Jul 2009 12:37:24 +0000 (13:37 +0100)
commitd7db5317bc4624184fccd816cbacfce3f75cbd27
tree80486b8b758b0d6577353ceace50b39df065c277
parent55c2a4677b4b6c172b4331d0c9cc9a12e8e20084
Add comment to the code about InitNone and InitEmpty.

These two constructors are treated as identical, but they
should be distinct concepts.
src/generator.ml