synchronized with eccp
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 30 May 2008 14:58:05 +0000 (14:58 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 30 May 2008 14:58:05 +0000 (14:58 +0000)
commite4a6427fa6de847b69a66d4a03b219fafb80930a
tree1ee6d131b362e8f27cdbdd5bb1dbd4edacd4d367
parent81b2a497c322a7a3937df2655050b0d40cd81c23
synchronized with eccp

[r19854]
driver/firm_opt.c
driver/firm_opt.h