Generator: Improve accuracy of a comment.
authorRichard Jones <rjones@trick.home.annexia.org>
Mon, 20 Jul 2009 18:04:40 +0000 (19:04 +0100)
committerRichard Jones <rjones@trick.home.annexia.org>
Mon, 20 Jul 2009 18:04:40 +0000 (19:04 +0100)
commit039831c74c42553705abad99236ef6541e8dfcd5
treea0acb6b49662bf527af50c8d0eac6b4a761c88ca
parent7a14e0509d5cc976deda9b5299f56930e0317502
Generator: Improve accuracy of a comment.
src/generator.ml