[PPL-devel] [GIT] ppl/ppl(master): Commented out code concerning affine spaces.

Roberto Bagnara bagnara at cs.unipr.it
Sun Aug 1 22:43:39 CEST 2010


Module: ppl/ppl
Branch: master
Commit: 304c0dc5f4c445888e6cd17d5b60d8f90358c28c
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=304c0dc5f4c445888e6cd17d5b60d8f90358c28c

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Aug  1 22:43:15 2010 +0200

Commented out code concerning affine spaces.

---

 tests/ppl_test.cc |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/tests/ppl_test.cc b/tests/ppl_test.cc
index a115b29..7f609f3 100644
--- a/tests/ppl_test.cc
+++ b/tests/ppl_test.cc
@@ -352,11 +352,13 @@ print_constraints(const Polyhedron& ph,
   print_constraints(ph.constraints(), intro, s);
 }
 
+#if 0
 void
 print_constraints(const Affine_Space& affs,
 		  const std::string& intro, std::ostream& s) {
   print_constraints(affs.constraints(), intro, s);
 }
+#endif
 
 void
 print_constraints(const Constraint_System& cs,




More information about the PPL-devel mailing list