before called default_initialize_local_variable() set the block which must
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 11 Oct 2005 09:09:47 +0000 (09:09 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 11 Oct 2005 09:09:47 +0000 (09:09 +0000)
contain the initialization code as default

[r6675]


No differences found