diff --git a/Fltk/GUI.cpp b/Fltk/GUI.cpp
index c65d02c588bb6ffa17417aada143d5ea0e4adebf..fc1c51550f2e281ffbc6ddd3d1809206a50ca392 100644
--- a/Fltk/GUI.cpp
+++ b/Fltk/GUI.cpp
@@ -1,4 +1,4 @@
-// $Id: GUI.cpp,v 1.146 2002-01-27 20:47:33 geuzaine Exp $
+// $Id: GUI.cpp,v 1.147 2002-01-27 21:24:50 geuzaine Exp $
 
 // To make the interface as visually consistent as possible, please:
 // - use the IW, BB, BH, BW and WB values
@@ -934,11 +934,15 @@ void GUI::set_anim_buttons(int mode){
 
 void GUI::check_anim_buttons(){
   int i, play=0;
-  for(i=0 ; i<List_Nbr(CTX.post.list) ; i++){
-    if(((Post_View*)List_Pointer(CTX.post.list,i))->NbTimeStep > 1 ||
-       CTX.post.anim_cycle){
-      play = 1 ; 
-      break ;
+  if(CTX.post.anim_cycle){
+    play = 1;
+  }
+  else{
+    for(i=0 ; i<List_Nbr(CTX.post.list) ; i++){
+      if(((Post_View*)List_Pointer(CTX.post.list,i))->NbTimeStep > 1){
+	play = 1 ; 
+	break ;
+      }
     }
   }
   if(!play){