From ba9d3d3d2054d873e4b748a62c5295ec516c4aa0 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 4 Sep 2023 22:51:49 -0400
Subject: [PATCH] small refactor

---
 src/tef/trace_tef.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tef/trace_tef.ml b/src/tef/trace_tef.ml
index 2f685c9..abf8b30 100644
--- a/src/tef/trace_tef.ml
+++ b/src/tef/trace_tef.ml
@@ -174,7 +174,7 @@ module Writer = struct
     String.iter encode_char s;
     char oc '"'
 
-  let pp_user_data_ out : [< user_data | `Float of float ] -> unit = function
+  let pp_user_data_ out : [< user_data ] -> unit = function
     | `None -> Printf.fprintf out "null"
     | `Int i -> Printf.fprintf out "%d" i
     | `Bool b -> Printf.fprintf out "%b" b