Adapt to math-comp/math-comp#1456

Author: proux01

src/spec/spec/properties.v

@@ -4,7 +4,7 @@
 From Coq Require Import ZArith.ZArith.
 (*Require Import common.tuplehelp common.nathelp.*)
 From mathcomp Require Import ssreflect ssrfun ssrbool eqtype ssrnat seq fintype tuple div zmodp ssralg.
-From mathcomp Require Import ring.
+From mathcomp.algebra_tactics Require Import ring.
 Require Import ssrextra.nat ssrextra.tuple.
 Require Import spec.spec.