From 9e6bbc0decbc7d2a01b52af0c509358e2374f60d Mon Sep 17 00:00:00 2001
From: Ayrat Hudaygulov <szer.penguin@gmail.com>
Date: Thu, 28 Sep 2023 01:19:48 +0100
Subject: [PATCH] fixed type names

---
 src/VahterBanBot/Types.fs | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/src/VahterBanBot/Types.fs b/src/VahterBanBot/Types.fs
index 5f22a87..afabd6f 100644
--- a/src/VahterBanBot/Types.fs
+++ b/src/VahterBanBot/Types.fs
@@ -17,17 +17,17 @@ type BotConfiguration =
 type User =
     { Id: int64
       Username: string option
-      BannedBy: int64 option
-      BannedAt: DateTime option
-      BanReason: string option
-      UpdatedAt: DateTime
-      CreatedAt: DateTime }
+      Banned_By: int64 option
+      Banned_At: DateTime option
+      Ban_Reason: string option
+      Updated_At: DateTime
+      Created_At: DateTime }
 
     static member newUser(id, ?username: string) =
         { Id = id
           Username = username
-          BannedBy = None
-          BannedAt = None
-          BanReason = None
-          UpdatedAt = DateTime.UtcNow
-          CreatedAt = DateTime.UtcNow }
+          Banned_By = None
+          Banned_At = None
+          Ban_Reason = None
+          Updated_At = DateTime.UtcNow
+          Created_At = DateTime.UtcNow }