[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