check for correct use of pec_inherited
authorGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Sat, 25 Sep 2004 11:13:38 +0000 (11:13 +0000)
committerGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Sat, 25 Sep 2004 11:13:38 +0000 (11:13 +0000)
commit78e62ae0e7748a434687711d0f8ba3e39eaeac97
tree1790946722bd8c2b65bfdbbe6458696abe050ed5
parentf5118640c57edc2ece094332c9fdd9a016df2d21
check for correct use of pec_inherited

[r3946]
ir/tr/trvrfy.c