From 3b186d6598982eb998e6c15b6e174de35870c5d6 Mon Sep 17 00:00:00 2001 From: mrmr1993 Date: Fri, 20 Oct 2023 00:59:06 +0100 Subject: [PATCH] Reset feature flags before assertion --- src/lib/pickles/step.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/lib/pickles/step.ml b/src/lib/pickles/step.ml index f2476f8360b..ee196b1597c 100644 --- a/src/lib/pickles/step.ml +++ b/src/lib/pickles/step.ml @@ -346,8 +346,7 @@ struct Option.map ~f:(Scalar_challenge.map ~f:Challenge.Constant.of_tock_field) (O.joint_combiner_chal o) - ; feature_flags = - t.statement.proof_state.deferred_values.plonk.feature_flags + ; feature_flags = Plonk_types.Features.none_bool } in let xi = scalar_chal O.v in