[PPL-devel] [GIT] ppl/ppl(master): Removed repeated declaration.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at 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__)