[PPL-devel] [GIT] ppl/ppl(master): Unwanted, commented-out code removed.
Roberto Bagnara
bagnara at cs.unipr.it
Fri Oct 28 06:40:34 CEST 2011
Module: ppl/ppl
Branch: master
Commit: a484f5db19949f35735cedfe84f882a8d56ff67d
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a484f5db19949f35735cedfe84f882a8d56ff67d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Oct 28 06:32:03 2011 +0200
Unwanted, commented-out code removed.
Detected by ECLAIR service cmntdout.
(Thanks to Roberto Amadini.)
---
src/BD_Shape.templates.hh | 4 ----
1 files changed, 0 insertions(+), 4 deletions(-)
diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh
index 7c1d30b..0635784 100644
--- a/src/BD_Shape.templates.hh
+++ b/src/BD_Shape.templates.hh
@@ -4347,10 +4347,6 @@ void BD_Shape<T>
::two_variables_affine_form_image(const dimension_type& var_id,
const Linear_Form< Interval<T, Interval_Info> >& lf,
const dimension_type& space_dim) {
-
- // Remove all constraints on 'var'.
- //forget_all_dbm_constraints(var_id);
-
// Shortest-path closure is maintained, but not reduction.
if (marked_shortest_path_reduced())
reset_shortest_path_reduced();
More information about the PPL-devel
mailing list