Restore change unintentionally killed during merge.
commit8c508c82e7ded8bb87e2784e25be9d9f8871d6b9
authorJakub Jelinek <jakub@redhat.com>
Mon, 15 Nov 2004 13:15:02 +0000 (15 13:15 +0000)
committerJakub Jelinek <jakub@redhat.com>
Mon, 15 Nov 2004 13:15:02 +0000 (15 13:15 +0000)
treed8151a455614e3da56962a06046f3fda7de07ed3
parent19e033b5ff6ebdb0e1454d1911d94d7b2a3fd5c3
Restore change unintentionally killed during merge.
debug/tst-chk1.c