1 files changed, 0 insertions, 8 deletions
diff --git a/play.js b/play.js
index cc65b47..8770966 100644
--- a/play.js
+++ b/play.js
@@ -922,11 +922,3 @@ function build_ui() {
 	if (player !== 'Observer')
 		ui.player[top].hand_size.classList.add("hide")
 }
-
-function debug() {
-	function rr(k,v) { return k === 'log' || k === 'players' || k === 'actions' ? undefined : v }
-	console.log("VIEW", JSON.stringify(view, rr, 0))
-	console.log("ACTIONS", JSON.stringify(view.actions, rr, 0))
-	for (let i = 0; i < view.players.length; ++i)
-		console.log("PLAYER", i, JSON.stringify(view.players[i], rr, 0))
-}