From 4d786ef3ce32590496ced6e4dc6b44d792b17221 Mon Sep 17 00:00:00 2001
From: cahon <cahon>
Date: Mon, 16 Sep 2002 12:53:08 +0000
Subject: [PATCH] Invalidating flags ...

---
 eo/src/paradisEO/eval/eoPopEval.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/eo/src/paradisEO/eval/eoPopEval.h b/eo/src/paradisEO/eval/eoPopEval.h
index 3b5860f3..78f28e92 100644
--- a/eo/src/paradisEO/eval/eoPopEval.h
+++ b/eo/src/paradisEO/eval/eoPopEval.h
@@ -50,6 +50,10 @@ public :
    */
   
   void operator () (eoPop <EOT> & _pop) {
+    
+    for (unsigned i = 0 ; i < _pop.size () ; i ++)
+      _pop [i].invalidate () ;
+
     apply <EOT> (eval, _pop) ;
   }