From ed07a74fb4aaaf8fb2420ff5a4638112bc8d76dc Mon Sep 17 00:00:00 2001
From: toaster <rollerorbital@gmail.com>
Date: Sat, 4 Feb 2023 21:01:49 +0000
Subject: [PATCH] staffbrief_t: Change datatype of stored times to tic_t

---
 src/doomstat.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/doomstat.h b/src/doomstat.h
index fb62266a2..9a5b2f893 100644
--- a/src/doomstat.h
+++ b/src/doomstat.h
@@ -365,8 +365,8 @@ extern UINT16 numkartcupheaders;
 struct staffbrief_t
 {
 	char name[16];
-	INT32 time;
-	INT32 lap;
+	tic_t time;
+	tic_t lap;
 };
 
 /** Map header information.