Merge commit 'v4.4.1.20091019' into gtk
[xboard.git] / callback.c
index dcf4779..0f481f0 100644 (file)
@@ -731,7 +731,7 @@ ResetProc (object, user_data)
      gpointer user_data;
 {
   ResetGameEvent();
-  EngineOutputPopDown();
+  return;
 }
 
 void WhiteClockProc(object, user_data)