removed a bug in Cond_kind access routines
authorGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Tue, 10 Jul 2001 13:56:29 +0000 (13:56 +0000)
committerGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Tue, 10 Jul 2001 13:56:29 +0000 (13:56 +0000)
[r218]


No differences found