Merge PR coq#17249: swap sval and @sval notations

Reviewed-by: gares Co-authored-by: gares <gares@users.noreply.github.com>
gares · Feb 11, 2023 · 6efadc5 · 6efadc5
2 parents c1bf187 + 12ddae0
commit 6efadc5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/ssr/ssrfun.v b/theories/ssr/ssrfun.v
@@ -568,8 +568,8 @@ Proof. by case/all_tag=> f /all_pair[]; exists f. Qed.
 (**  Refinement types.  **)
 
 (**  Prenex Implicits and renaming.  **)
-Notation sval := (@proj1_sig _ _).
 Notation "@ 'sval'" := (@proj1_sig) (at level 10, format "@ 'sval'").
+Notation sval := (@proj1_sig _ _).
 
 Section Sig.