[GIT] ppl/ppl(floating_point): Removed whitespaces.

Module: ppl/ppl Branch: floating_point Commit: 670c44bcc1e510cd4a88f605fbd402c411da6fe8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=670c44bcc1e51...
Author: Roberto Amadini r.amadini@virgilio.it Date: Mon Feb 22 22:21:24 2010 +0100
Removed whitespaces.
---
src/Variable_Floating_Point_Expression.inlines.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/Variable_Floating_Point_Expression.inlines.hh b/src/Variable_Floating_Point_Expression.inlines.hh index a9ddd2f..48843d0 100644 --- a/src/Variable_Floating_Point_Expression.inlines.hh +++ b/src/Variable_Floating_Point_Expression.inlines.hh @@ -73,7 +73,7 @@ Variable_Floating_Point_Expression<FP_Interval_Type, FP_Format> i != lf_store.end();) { typename FP_Linear_Form_Abstract_Store::iterator j = i++;
- if ( (j->second).coefficient(Variable(variable_index)) != 0 ) { + if ((j->second).coefficient(Variable(variable_index)) != 0) { lf_store.erase(j); } }
participants (1)
-
Roberto Amadini