From 6061b5843e8e573f47e4a675ffc8c79500ca1b99 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 9 Dec 2019 21:50:09 -0600
Subject: [PATCH] fix(th-data): fix merge explanation in cstor monoid

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

diff --git a/src/th-data/Sidekick_th_data.ml b/src/th-data/Sidekick_th_data.ml
index c3c2ce06..a193eeb1 100644
--- a/src/th-data/Sidekick_th_data.ml
+++ b/src/th-data/Sidekick_th_data.ml
@@ -168,6 +168,7 @@ module Make(A : ARG) : S with module A = A = struct
         Expl.mk_list [
           Expl.mk_merge n1 v1.n;
           Expl.mk_merge n2 v2.n;
+          Expl.mk_merge n1 n2;
         ]
       in
       if A.Cstor.equal v1.cstor v2.cstor then (