- dummy index renamer didn't account for internal dummy indices of objects

[ginac.git] / ginac / utils.cpp

diff --git a/ginac/utils.cpp b/ginac/utils.cpp
index 93408d4c523f30599bd1c64da0a467337bfc529b..7acb3a983d9237fc940524b587701e2a660820b7 100644 (file)
--- a/ginac/utils.cpp
+++ b/ginac/utils.cpp
@@ -59,13 +59,6 @@ unsigned log2(unsigned n)
 }
 #endif
 
-/** Append one exvector to another */
-void append_exvector_to_exvector(exvector & dest, const exvector & source)
-{
-       dest.reserve(dest.size() + source.size());
-       dest.insert(dest.end(), source.begin(), source.end());
-}
-
 //////////
 // `construct on first use' chest of numbers
 //////////