diff TOOLS/benchmark-gab/compile @ 22401:0fd3c34a3127

Fix incorrect spacing introduced in r22231: these two lines were supposed to perform truncation, not rounding.
author eugeni
date Sat, 03 Mar 2007 08:20:00 +0000
parents cba37985dec5
children
line wrap: on
line diff