fixup rebase

math-comp · Feb 19, 2021 · cb27460 · cb27460
1 parent ffcefd1
commit cb27460
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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,