From cb27460d8d8f1358d5f756c5ff05497aabaaa17f Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Fri, 19 Feb 2021 09:08:21 +0100
Subject: [PATCH] fixup rebase

---
 hb.elpi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hb.elpi b/hb.elpi
index 9b62b271..fa7b46d7 100644
--- a/hb.elpi
+++ b/hb.elpi
@@ -2028,7 +2028,7 @@ main-declare-structure Module GRFSwP ClosureCheck :- std.do! [
   ElpiOperationModName is "ElpiOperations" ^ {std.any->string {new_int}},
   coq.env.begin-module ElpiOperationModName none,
     std.map MLToExport (m\r\ r = mixin-first-class m ClassName) MixinFirstClass,
-    std.forall {std.append EX MixinFirstClass} (c\ acc current (clause _ _ c)),
+    std.forall {std.append EX MixinFirstClass} (c\ hb-accumulate current (clause _ _ c)),
   coq.env.end-module ElpiOperations,
   export ElpiOperations,