From b66d506f22e62be7bde347799092dc706b951863 Mon Sep 17 00:00:00 2001
From: Darren Li <darrenldldev@gmail.com>
Date: Fri, 12 Apr 2024 16:47:08 +1000
Subject: [PATCH] Fixed 12hour calculation in date time printer

---
 timedesc/printers.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/timedesc/printers.ml b/timedesc/printers.ml
index 741f5016..f43082f3 100644
--- a/timedesc/printers.ml
+++ b/timedesc/printers.ml
@@ -144,7 +144,10 @@ module Format_string_parsers = struct
          *> commit
          *> padding
          >>= fun padding ->
-         let hour = if hour = 0 then 12 else hour mod 12 in
+         let hour =
+           if hour = 0 then 12
+           else if hour > 12 then hour - 12 else hour
+         in
          return (pad_int padding hour));
         (string "min:"
          *> commit