# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1411164113 -10800
# Node ID a9a6e08c9e35c8c13020604cf06af09e9a41010d
# Parent  804e751a3b7f4ff565b61b9750213f5288314d09
Remove unnecessary check.

diff -r 804e751a3b7f -r a9a6e08c9e35 2048.html
--- a/2048.html	Sat Sep 20 00:51:45 2014 +0300
+++ b/2048.html	Sat Sep 20 01:01:53 2014 +0300
@@ -617,7 +617,7 @@
       ui.game.finishStep();
       ui.score.speed(parseFloat((step*1000.0/(tsTo-tsFrom)).toPrecision(3)), step);
       ui.game.setMessage("Game over!");
-      ui.ai.current && ui.ai.current.cleanup();
+      ui.ai.current.cleanup();
     }
     document.getElementById("finish").addEventListener("click", ui.action.finish, false);
 
@@ -670,7 +670,7 @@
       var tsTo = new Date().getTime();
       ui.game.refresh();
       ui.score.speed(parseFloat((step*1000.0/(tsTo-tsFrom)).toPrecision(3)), step);
-      ui.ai.current && ui.ai.current.cleanup();
+      ui.ai.current.cleanup();
     }
     document.getElementById("until").addEventListener("click", ui.action.until, false);