From af206768a6894328e77d6bddecbe55b27fc029f1 Mon Sep 17 00:00:00 2001
From: Christian Bauer <Christian.Bauer@uni-mainz.de>
Date: Tue, 4 Feb 2003 19:20:04 +0000
Subject: [PATCH] dummy index renamer uses smaller set of global indices

---
 ginac/indexed.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ginac/indexed.cpp b/ginac/indexed.cpp
index e5b89536..e945c64f 100644
--- a/ginac/indexed.cpp
+++ b/ginac/indexed.cpp
@@ -551,7 +551,7 @@ static ex rename_dummy_indices(const ex & e, exvector & global_dummy_indices, ex
 	for (unsigned i=0; i<local_size; i++)
 		local_syms.push_back(local_dummy_indices[i].op(0));
 	shaker_sort(local_syms.begin(), local_syms.end(), ex_is_less(), ex_swap());
-	for (unsigned i=0; i<global_size; i++)
+	for (unsigned i=0; i<local_size; i++) // don't use more global symbols than necessary
 		global_syms.push_back(global_dummy_indices[i].op(0));
 	shaker_sort(global_syms.begin(), global_syms.end(), ex_is_less(), ex_swap());
 
-- 
2.50.0