Fix depth reporting
authorH.G.Muller <hgm@hgm-xboard.(none)>
Sat, 14 Jan 2017 17:33:00 +0000 (18:33 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Sat, 14 Jan 2017 17:33:00 +0000 (18:33 +0100)
commitac6a431840a507e068f6006000affacbaa591a3d
treeaa00c86830bc75ffd0a144cf45ecd9456f42430f
parent9ad10aba7ed259c218ba8a740a3579817c1ff03e
Fix depth reporting

Use the original reduction for depth bootstrapping.
dropper.c