use float instead of double to save some space
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Mon, 14 Jan 2008 11:18:09 +0000 (11:18 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Mon, 14 Jan 2008 11:18:09 +0000 (11:18 +0000)
commit7c2f939a492efb0f48164b6506be19e2f7e9b1f1
treecc4d8a63d0c1022d26ca527f3a5cd30c9398bbdf
parent2c393980c464e5552de1b6b2e27f3657e65c8d0c
use float instead of double to save some space

[r17372]
ir/be/becopyheur4.c