[PPL-devel] [GIT] ppl/ppl(master): Source file renamed.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Oct 28 07:49:48 2011 +0200

Source file renamed.

---

 src/Bit_Matrix.cc                                  |    3 +--
 src/Linear_System.cc                               |    3 +--
 src/Makefile.am                                    |    2 +-
 ...wapping_sort.icc => swapping_sort.templates.hh} |    0
 4 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/src/Bit_Matrix.cc b/src/Bit_Matrix.cc
index d142ce3..e471ec0 100644
--- a/src/Bit_Matrix.cc
+++ b/src/Bit_Matrix.cc
@@ -25,12 +25,11 @@ site: http://bugseng.com/products/ppl/ . */
 
 #include "Bit_Matrix.defs.hh"
 #include "globals.defs.hh"
+#include "swapping_sort.templates.hh"
 #include <iostream>
 #include <string>
 #include <climits>
 
-#include "swapping_sort.icc"
-
 namespace PPL = Parma_Polyhedra_Library;
 
 PPL::Bit_Matrix&
diff --git a/src/Linear_System.cc b/src/Linear_System.cc
index 39c001d..944b87e 100644
--- a/src/Linear_System.cc
+++ b/src/Linear_System.cc
@@ -28,13 +28,12 @@ site: http://bugseng.com/products/ppl/ . */
 #include "Dense_Row.defs.hh"
 #include "Bit_Matrix.defs.hh"
 #include "Scalar_Products.defs.hh"
+#include "swapping_sort.templates.hh"
 #include <algorithm>
 #include <iostream>
 #include <string>
 #include <deque>
 
-#include "swapping_sort.icc"
-
 namespace PPL = Parma_Polyhedra_Library;
 
 PPL::dimension_type
diff --git a/src/Makefile.am b/src/Makefile.am
index 9196e8e..d674d6a 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -498,7 +498,7 @@ Weight_Profiler.cc \
 version.cc \
 $(INCLUDE_FILES) \
 $(NESTED_INCLUDE_FILES) \
-swapping_sort.icc \
+swapping_sort.templates.hh \
 termination.cc \
 wrap_string.cc
 #Pointset_Ask_Tell.cc
diff --git a/src/swapping_sort.icc b/src/swapping_sort.templates.hh
similarity index 100%
rename from src/swapping_sort.icc
rename to src/swapping_sort.templates.hh