improved check for differnt variables
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 20 Nov 2007 14:43:30 +0000 (14:43 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 20 Nov 2007 14:43:30 +0000 (14:43 +0000)
[r16810]


No differences found