[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