[PPL-devel] [GIT] ppl/ppl(master): Files renamed to avoid ambiguity with respect to numerical wrapping.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat May  2 20:59:01 2009 +0200

Files renamed to avoid ambiguity with respect to numerical wrapping.

---

 src/Makefile.am                 |    4 ++--
 src/{wrap.cc => wrap_string.cc} |    2 +-
 src/{wrap.hh => wrap_string.hh} |    0
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Makefile.am b/src/Makefile.am
index b08b78b..d92088a 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -328,7 +328,7 @@ Partially_Reduced_Product.inlines.hh \
 Partially_Reduced_Product.templates.hh \
 max_space_dimension.hh \
 algorithms.hh \
-wrap.hh
+wrap_string.hh
 #Any_Pointset.types.hh \
 #Any_Pointset.defs.hh \
 #Any_Pointset.inlines.hh \
@@ -410,7 +410,7 @@ version.cc \
 $(INCLUDE_FILES) \
 $(NESTED_INCLUDE_FILES) \
 swapping_sort.icc \
-wrap.cc
+wrap_string.cc
 #Pointset_Ask_Tell.cc
 
 if NO_UNDEFINED
diff --git a/src/wrap.cc b/src/wrap_string.cc
similarity index 98%
rename from src/wrap.cc
rename to src/wrap_string.cc
index 69b20b6..335f8fa 100644
--- a/src/wrap.cc
+++ b/src/wrap_string.cc
@@ -22,7 +22,7 @@ site: http://www.cs.unipr.it/ppl/ . */
 
 #include <ppl-config.h>
 
-#include "wrap.hh"
+#include "wrap_string.hh"
 #include <cstdlib>
 
 namespace Parma_Polyhedra_Library {
diff --git a/src/wrap.hh b/src/wrap_string.hh
similarity index 100%
rename from src/wrap.hh
rename to src/wrap_string.hh