From 5aa258fbcb0f455a363f68a5325015ca99aef5aa Mon Sep 17 00:00:00 2001
From: evomarc <evomarc>
Date: Tue, 28 Nov 2000 15:31:38 +0000
Subject: [PATCH] Minor change of the default label

---
 eo/src/eoEvalFunc.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/eo/src/eoEvalFunc.h b/eo/src/eoEvalFunc.h
index 67738da5..233599b4 100644
--- a/eo/src/eoEvalFunc.h
+++ b/eo/src/eoEvalFunc.h
@@ -53,7 +53,7 @@ if it has to evaluate.. etc.
 template<class EOT> class eoEvalFuncCounter : public eoEvalFunc<EOT>, public eoValueParam<unsigned long>
 {
     public :
-        eoEvalFuncCounter(eoEvalFunc<EOT>& _func, std::string _name = "eval_counter") 
+        eoEvalFuncCounter(eoEvalFunc<EOT>& _func, std::string _name = "Eval. ") 
             : eoValueParam<unsigned long>(0, _name), func(_func) {}
 
         void operator()(EOT& _eo)