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

Roberto Bagnara bagnara at cs.unipr.it
Sun Aug 1 20:00:57 CEST 2010


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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Aug  1 20:00:30 2010 +0200

Commented out code concerning affine spaces.

---

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

diff --git a/tests/ppl_test.hh b/tests/ppl_test.hh
index fa4bd88..449e137 100644
--- a/tests/ppl_test.hh
+++ b/tests/ppl_test.hh
@@ -972,10 +972,12 @@ print_constraints(const Polyhedron& ph,
 		  const std::string& intro = "",
 		  std::ostream& s = nout);
 
+#if 0
 void
 print_constraints(const Affine_Space& affs,
 		  const std::string& intro = "",
 		  std::ostream& s = nout);
+#endif
 
 template <typename Interval>
 void




More information about the PPL-devel mailing list