From 7887731377363d468a4dcdc2662d82d278c31c13 Mon Sep 17 00:00:00 2001
From: Zeno Rogue <zeno@attnam.com>
Date: Sun, 3 Dec 2017 20:01:30 +0100
Subject: [PATCH] debug message in case of bad push

---
 game.cpp | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/game.cpp b/game.cpp
index a7df45f3..b6fa5e64 100644
--- a/game.cpp
+++ b/game.cpp
@@ -3670,6 +3670,13 @@ int pickDownDirection(cell *c, flagtype mf) {
 
 template<class T> 
 cell *determinePush(cellwalker who, cell *c2, int subdir, T valid) {
+  if(subdir != 1 && subdir != -1) {
+    subdir = 1;
+    static bool first = true;
+    if(first)
+      first = false,
+      addMessage("bad push: " + its(subdir));
+    }
   cellwalker push = who;
   cwstep(push);
   int pd = push.c->type/2;