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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 6 09:03:47 2012 +0200

Do not use #define without a value.

---

src/PIP_Tree.cc | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 8e4f09b..6c5a22c 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -28,9 +28,9 @@ site: http://bugseng.com/products/ppl/ . */ #include <memory> #include <map>

-// #define NOISY_PIP_TREE_STRUCTURE -// #define NOISY_PIP -// #define VERY_NOISY_PIP +// #define NOISY_PIP_TREE_STRUCTURE 1 +// #define NOISY_PIP 1 +// #define VERY_NOISY_PIP 1

namespace Parma_Polyhedra_Library {