From 7bbe70b0606b68f8810bf2a148a86dd0f356a442 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 12 Aug 2022 23:07:32 -0400
Subject: [PATCH] bugfix in CC

---
 src/cc/Sidekick_cc.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/cc/Sidekick_cc.ml b/src/cc/Sidekick_cc.ml
index ae1562ae..4227e93b 100644
--- a/src/cc/Sidekick_cc.ml
+++ b/src/cc/Sidekick_cc.ml
@@ -495,6 +495,7 @@ module Make (A : ARG) :
     Vec.clear cc.combine;
     Event.emit cc.on_conflict { cc; th; c = e };
     Stat.incr cc.count_conflict;
+    Vec.clear cc.res_acts;
     raise (E_confl (Conflict (e, p)))
 
   let[@inline] all_classes self : repr Iter.t =