From 53247e3c26a3acd42cd3e532ece4fad2463c32b9 Mon Sep 17 00:00:00 2001
From: Peter Wortmann <Peter.Wortmann@googlemail.com>
Date: Sun, 17 Jul 2011 13:37:27 +0100
Subject: [PATCH] Increment RandomCount for non-debugrec builds as well

---
 src/lib/C4Random.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib/C4Random.h b/src/lib/C4Random.h
index 3b56ac6fa..50dceae57 100644
--- a/src/lib/C4Random.h
+++ b/src/lib/C4Random.h
@@ -42,6 +42,7 @@ int Random(int iRange);
 #else
 inline int Random(int iRange)
 {
+	RandomCount++;
 	if (iRange==0) return 0;
 	RandomHold = RandomHold * 214013L + 2531011L;
 	return (RandomHold >> 16) % iRange;