From 7c00025e0ccc5afe92890f2f7e9cb0718e119834 Mon Sep 17 00:00:00 2001
From: Florian Witteler <github@flwi.de>
Date: Fri, 2 Jun 2023 01:36:17 +0200
Subject: [PATCH] fix: added format `int64` to `credits` field of Agent and
 leaderboards

---
 models/Agent.json           | 3 ++-
 reference/SpaceTraders.json | 5 +++--
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/models/Agent.json b/models/Agent.json
index 045f5c7..90c19ed 100644
--- a/models/Agent.json
+++ b/models/Agent.json
@@ -17,6 +17,7 @@
     },
     "credits": {
       "type": "integer",
+      "format": "int64",
       "description": "The number of credits the agent has available. Credits can be negative if funds have been overdrawn."
     },
     "startingFaction": {
@@ -32,4 +33,4 @@
     "credits",
     "startingFaction"
   ]
-}
\ No newline at end of file
+}
diff --git a/reference/SpaceTraders.json b/reference/SpaceTraders.json
index b7b5390..5d46970 100644
--- a/reference/SpaceTraders.json
+++ b/reference/SpaceTraders.json
@@ -119,7 +119,8 @@
                                 "type": "string"
                               },
                               "credits": {
-                                "type": "integer"
+                                "type": "integer",
+                                "format": "int64"
                               }
                             },
                             "required": [
@@ -2816,4 +2817,4 @@
       }
     }
   }
-}
\ No newline at end of file
+}