Parenthesize red_flags

mit-plv · Nov 13, 2023 · 47d241b · 47d241b
1 parent 226b70f
commit 47d241b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Language/IdentifierParameters.v b/src/Language/IdentifierParameters.v
@@ -50,7 +50,7 @@ Local Ltac2 Notation "red_flags:(" s(strategy) ")" := s.
 
 (* TODO: Move to util *)
 Ltac2 eval_cbv_beta (c : constr) :=
-  Std.eval_cbv red_flags:(beta) c.
+  Std.eval_cbv (red_flags:(beta)) c.
 
 Ltac2 Set reify_ident_preprocess_extra :=
   fun ctx_tys term