From c868c606c9f68e432e281003c221584469afe56b Mon Sep 17 00:00:00 2001
From: "H.G. Muller" <h.g.muller@hccnet.nl>
Date: Sun, 15 Sep 2013 19:28:54 +0200
Subject: [PATCH] Fix node count range

The node count was still clipped to 32 bit because one of the structs
it passes through (FrontEndProgramStats) had the nodes field declared
as an unsigned long.
---
 frontend.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontend.h b/frontend.h
index 5ac3cf8a..bcf2ad00 100644
--- a/frontend.h
+++ b/frontend.h
@@ -215,7 +215,7 @@ void EnableNamedMenuItem P((char *menuRef, int state));
 typedef struct FrontEndProgramStats_TAG {
     int which;
     int depth;
-    unsigned long nodes;
+    u64 nodes;
     int score;
     int time;
     char * pv;