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

Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Mon Jul 13 15:47:56 2009 +0200

Removed repeated declaration.

---

src/assert.hh | 11 ----------- 1 files changed, 0 insertions(+), 11 deletions(-)

diff --git a/src/assert.hh b/src/assert.hh index 6e8eb39..24e63f1 100644 --- a/src/assert.hh +++ b/src/assert.hh @@ -33,17 +33,6 @@ site: http://www.cs.unipr.it/ppl/ . */

#else

-namespace Parma_Polyhedra_Library { - -namespace Implementation { - -//! Non zero during evaluation of PPL_ASSERT expression. -extern unsigned int in_assert; - -} // namespace Implementation - -} // namespace Parma_Polyhedra_Library - #define PPL_DEBUG_PPL_ASSERT 1 #if !PPL_DEBUG_PPL_ASSERT #define PPL_ASSERT(cond__) assert(cond__)