From 4d97f1a5257a538dd1ce716bc8d23a07b95616c9 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 19 Aug 2022 21:32:55 -0400
Subject: [PATCH] fix build

---
 src/th-data/Sidekick_th_data.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/th-data/Sidekick_th_data.ml b/src/th-data/Sidekick_th_data.ml
index 4ba4f54f..00b583d4 100644
--- a/src/th-data/Sidekick_th_data.ml
+++ b/src/th-data/Sidekick_th_data.ml
@@ -4,7 +4,6 @@ open Sidekick_core
 open Sidekick_cc
 include Th_intf
 module SI = SMT.Solver_internal
-module Model_builder = SMT.Model_builder
 
 let name = "th-data"