Fix parsing of some more .tlo files.
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 13 Nov 2020 16:53:47 +0000 (08:53 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 13 Nov 2020 17:24:09 +0000 (09:24 -0800)
commitf8cba0fb13cceeac43fe4b15e2d5b48798ab1a6e
treea6d0e7734a1ec1358ebe6b4374231c2a110847ac
parent24e84c14af8ac6dc897344104e756c8820f9a031
Fix parsing of some more .tlo files.
doc/dev/tlo-file-format.texi
src/output/spv/tlo.grammar