From 6fb123f2be6f7cc45d1e1c432bbf4caf0a36017d Mon Sep 17 00:00:00 2001 From: nojhan Date: Thu, 15 Sep 2011 17:47:24 +0200 Subject: [PATCH] dispatcher inherits from repairer and not from UF --- edo/src/edoRepairerDispatcher.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/edo/src/edoRepairerDispatcher.h b/edo/src/edoRepairerDispatcher.h index 6824d1159..3f873ec7c 100644 --- a/edo/src/edoRepairerDispatcher.h +++ b/edo/src/edoRepairerDispatcher.h @@ -50,7 +50,7 @@ Authors: template < typename EOT > class edoRepairerDispatcher - : public eoUF< EOT&, void >, + : public edoRepairer, std::vector< std::pair< std::set< unsigned int >, edoRepairer< EOT >* > >