diff options
| author | Matias Goldfeld <[email protected]> | 2021-02-07 20:21:47 -0500 |
|---|---|---|
| committer | Matias Goldfeld <[email protected]> | 2021-02-07 20:21:47 -0500 |
| commit | b2f081fff12093a7d3434859ebd621608dde6c7d (patch) | |
| tree | 5ea4f7d6ff82727d62b01fb2d234a4f8ab66aa2b /lib/models/user/user_t.mli | |
| parent | Removed generated version numbers (diff) | |
| download | disml-origin/master.tar.xz disml-origin/master.zip | |
Reverted earlier changes for goodHEADorigin/masterorigin/HEADmaster
Diffstat (limited to 'lib/models/user/user_t.mli')
| -rw-r--r-- | lib/models/user/user_t.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/models/user/user_t.mli b/lib/models/user/user_t.mli index e971531..78f7a28 100644 --- a/lib/models/user/user_t.mli +++ b/lib/models/user/user_t.mli @@ -5,7 +5,7 @@ type partial_user = { discriminator: string option;
avatar: string option;
bot: bool;
-} [@@deriving sexp, yojson]
+} [@@deriving sexp, yojson { exn = true }]
(** A user object. *)
type t = {
@@ -14,4 +14,4 @@ type t = { discriminator: string; (** The 4 digits, as a string, that come after the '#' in a Discord username. *)
avatar: string option; (** The hash of the user avatar, if they have one set. See {!User.face} to get the avatar URL. *)
bot: bool; (** Whether the user is a bot. *)
-} [@@deriving sexp, yojson]
\ No newline at end of file +} [@@deriving sexp, yojson { exn = true }]
\ No newline at end of file |