From 03b69f181919ba60fef1c22194ce729e3c47eea0 Mon Sep 17 00:00:00 2001
From: nojhan <nojhan@gmail.com>
Date: Thu, 3 Nov 2011 11:13:32 +0100
Subject: [PATCH] compilfix: correct template name for dispatcher's indexes

---
 edo/src/edoRepairerDispatcher.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/edo/src/edoRepairerDispatcher.h b/edo/src/edoRepairerDispatcher.h
index 0ee65a78e..b198a14a8 100644
--- a/edo/src/edoRepairerDispatcher.h
+++ b/edo/src/edoRepairerDispatcher.h
@@ -71,7 +71,7 @@ public:
     {}
 
     //! Constructor with a single index set and repairer operator
-    edoRepairerDispatcher( IndexContainer idx, edoRepairer<EOT>* op ) :
+    edoRepairerDispatcher( ICT idx, edoRepairer<EOT>* op ) :
         std::vector< 
             std::pair< std::vector< unsigned int >, edoRepairer< EOT >* > 
         >() 
@@ -80,7 +80,7 @@ public:
     }
 
     //! Add more indexes set and their corresponding repairer operator address to the list
-    void add( IndexContainer idx, edoRepairer<EOT>* op )
+    void add( ICT idx, edoRepairer<EOT>* op )
     {
         assert( idx.size() > 0 );
         assert( op != NULL );