Change the generated output, to make it readable by element.deserialize()
authorNick Downing <downing.nick@gmail.com>
Tue, 26 Jun 2018 04:07:38 +0000 (14:07 +1000)
committerNick Downing <downing.nick@gmail.com>
Tue, 26 Jun 2018 04:07:38 +0000 (14:07 +1000)
commit69fed43bea9a03e8bb962c5b20584c21a243cb71
tree49af7c1e11d33c01684341f0295b5b71fc2d1767
parentcbcc59a805906f5c67321b0d0f83fedc69ba5ea7
Change the generated output, to make it readable by element.deserialize()
src/parse-gram.c
src/parse-gram.h
src/parse-gram.y
src/reader.c