feat: Log_event.{to,of}_twine

imandra-ai · Aug 13, 2024 · 805aef8 · 805aef8
1 parent 75689f5
commit 805aef8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/log/log_event.ml b/src/log/log_event.ml
@@ -12,7 +12,7 @@ type t = {
   src: string;  (** Log source. *)
   meta: (string * string) list;  (** Additional metadata *)
 }
-[@@deriving show { with_path = false }, serpack]
+[@@deriving show { with_path = false }, serpack, twine]
 (** A log event, which we can store, serialize, send elsewhere, etc. *)
 
 type json = Yojson.Safe.t

diff --git a/src/log/log_level.ml b/src/log/log_level.ml
@@ -8,7 +8,7 @@ type t = Logs.level =
   | Warning
   | Info
   | Debug
-[@@deriving show { with_path = false }, enum, eq, ord, serpack]
+[@@deriving show { with_path = false }, enum, eq, ord, serpack, twine]
 
 let to_yojson : t -> json = function
   | App -> `String "app"