Fix bizarre box-leakage bug.
authormdw <mdw>
Fri, 5 Sep 2003 16:08:22 +0000 (16:08 +0000)
committermdw <mdw>
Fri, 5 Sep 2003 16:08:22 +0000 (16:08 +0000)
commite1069af1e2771b20455999803846ee852d7e42d6
tree7e3a8f591577e1dc821a5fef8d12a2399b2e34c3
parentf2c6689859d5c79335535136ec1e0e01dbc779c7
Fix bizarre box-leakage bug.
syntax.dtx