simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

bugfix in CC

Browse source
This commit is contained in:
Simon Cruanes 2022-08-12 23:07:32 -04:00
parent 0e5bde0f40
commit 7bbe70b060
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/cc/Sidekick_cc.ml
View file

@ -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 =