From 6f576e7d8b8ee26b6620ba320e3b084b6f49b901 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 12 Oct 2022 15:51:37 -0400
Subject: [PATCH] adapt bin

---
 src/main/show_trace.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/main/show_trace.ml b/src/main/show_trace.ml
index 9aa71de4..fa58c8b6 100644
--- a/src/main/show_trace.ml
+++ b/src/main/show_trace.ml
@@ -62,9 +62,7 @@ let show_file ~dump file : unit =
   let t_reader =
     Smt.Trace_reader.create tst src
       ~const_decoders:
-        [
-          Term.const_decoders; Box.const_decoders; Sidekick_base.const_decoders;
-        ]
+        [ Sidekick_core.const_decoders; Sidekick_base.const_decoders ]
   in
 
   let st = { t_reader; src; dump } in